! , z3 compact , . , , . . - , ( ). ? ? !
HoopSaraki ! , z3 compact , . , , . . - , ( ). ? ? !
: 1 (: 0 , : 1)