<s> import cadquery <EOL> import Part <EOL> ( L , H , W , t ) = ( <NUM_LIT> , <NUM_LIT> , <NUM_LIT> , <NUM_LIT:1.0> ) <EOL> pts = [ <EOL> ( <NUM_LIT:0> , H / <NUM_LIT> ) , <EOL> ( W / <NUM_LIT> , H / <NUM_LIT> ) , <EOL> ( W / <NUM_LIT> , ( H / <NUM_LIT> - t ) ) , <EOL> ( t / <NUM_LIT> , ( H / <NUM_LIT> - t ) ) , <EOL> ( t / <NUM_LIT> , ( t - H / <NUM_LIT> ) ) , <EOL> ( W / <NUM_LIT> , ( t - H / <NUM_LIT> ) ) , <EOL> ( W / <NUM_LIT> , H / - <NUM_LIT> ) , <EOL> ( <NUM_LIT:0> , H / - <NUM_LIT> ) <EOL> ] <EOL> result = cadquery . Workplane ( "<STR_LIT>" ) . polyline ( pts ) . mirrorY ( ) . extrude ( L ) <EOL> Part . show ( result . toFreecad ( ) ) </s>
