:- set_flag(debug_compile, off).

:-op(401,fy,~).
:-op(401,fy,'box'). 
:-op(401,fy,'dia'). 
:-op(503,xfy,&).

crash_term ( ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box
 ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box ((box (dia
 true)) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia v17) & (dia ~v17))) & (dia true))) & (dia true)))
 & (dia true))) & (dia v21) & (dia ~v21))) & (dia v22) & (dia ~v22))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia v27)
 & (dia ~v27))) & (dia true))) & (dia true))) & (dia v30) & (dia
 ~v30))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia v50) & (dia ~v50))) & (dia true))) &
 (dia v52) & (dia ~v52))) & (dia v53) & (dia ~v53))) & (dia true))) &
 (dia true))) & (dia v56) & (dia ~v56))) & (dia true))) & (dia v58) &
 (dia ~v58))) & (dia true))) & (dia v60) & (dia ~v60))) & (dia true)))
 & (dia v62) & (dia ~v62))) & (dia v63) & (dia ~v63))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia v86) & (dia ~v86)))
 & (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia v95) &
 (dia ~v95))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true))) &
 (dia true))) & (dia true))) & (dia true))) & (dia true))) & (dia
 true))) & (dia true))) & (dia true))) & (dia true))) & (dia true)) ) .