?5// 6// 7// +1/// +2/// +3/// +4///?

?( +5 +1 -4 ) ( +3/ +1/ 5/ ) -4/ ( 6/ 3/ ) -4/ ( +6 6 )?

?-3//// 7//// +5//// +7//// ( +2/ 7/ 5/ ) -3/ ( 5/ 2/ ) -3/ ( +1 5 1 )?

?-2//// 2//// 6////? +2////? 0//// -2/ ( 6/ 4/ 1/ ) -2/ ( +1 6 4 1 -5 )?

( 2// 5// ) 6// 7// +1/// +2/// +3/// +4///?

( +5 +1 -1 ) ( +3/ 7/ 5/? ) -1/ ( 7 5 3 ) +5// +4// +3// +2//?

( +1 3 1 -4 ) ( +3// 3// 1// ) +2// ( +1// -4// ) +3// ( 3 1 ) ( +3// 3// 1// ) +2// ( +1// -6// ) +2//?

( 2// -7// -3// ) 5/ 0// ( 2/ -7/ ) -3/ ( 3/ 1/ -6/ ) 0// 5// ( +3// 3// 1// ) +2// +1// +2//?

-2// 6// -2/ ( 1/ -6/ ) ( +1/ -2/ ) ( 7/ -5/ ) ( 6/ -4/ ) ( 5/ -7/ 2/ ) +4/?

-1////? 5////? +4////? 0//// -5// ( +3// 7// ) ( 3 -7 ) -1////? -7////? 2////? 0//// ( +3// 5// -5// ) 2// ( +3// 5// ) 3// ( +3// 5// ) 3//? ? ? ?

?-4//// 6//// +1//// +4//// +3/ ( 3/ 1/ ) ( +2// -4// ) +1// ( +3 3 1 ) ( 3/ 1/ ) -6// 5//?

( +2// -3// ) +2// ( +2// -3// ) +2// ( +2/ 5/ -5/ ) ( +5// 2// ) ( +1// 5// ) ( -5/ -6/ ) -3/ ( 5/ 1/ ) +2// +3//?

?( +4/ -2/ )? ( +3/ -2/ ) ( +1/ 1/ -6/ ) ( 6/ -2/ )? ( +1 1 -6 ) ( 3/ 1/ ) +2// +3//?

?-4//// 5//// +1//// +4//// ( +3/ -5/ )? ( +1/ 1/ ) 6/ -5//// 4//// 5//// +1//// -4// +2// ( +2/ 4/ -5/ ) 0// 1/// 2///?

?( 3 1 -4 ) ( +3// 3// 1// ) +2// ( +1// -4// )? +3// ( 3/ 1/ ) +2/ ( +3// 3// 1// ) +2// ( +1// -6// ) ( +2// 5// )?

?-3// 5// -3/ ( 2/ -7/ ) -3/ ( 3/ 1/ -6/ ) -3// 5// ( +3// 1// ) +2// +1// +2//?

?-2// 6// -2/ ( 1/ -6/? ) ( +1/ -2/ ) -5//// 5//// 7//// 0//// ( 6/ -4/ ) ( 5/ -7/ 2/ ) +4/?

?-1//// 5//// +4//// 0//// -5// +3// ( 3/ -7/ ) -1/? ( 2/ -7/ -1/ ) ( +3// 5// -1// ) -5// ( +3// 5// ) -7// ( +3// 5// ) 2//?

?-4//// 6//// +4//// 0//// +3/ ( 3/ 1/ ) ( +3/ -4/ ) 1//// 3//// +3//// +6//// +3/ ( +2/ 3/ 1/ ) ( +3/ -6/ )?

?( +2/ -3/ ) -3// 5// ( 2/ -7/ )? ( +2/ -3/ ) -6//// 5//// +1//// 0//// ( +2/ -6/ )? ( +3/ 3/ 1/ ) 6/?

?-2//// 4//// 6//// +3//// -2/ ( +3/ 1/ -6/ ) +2/ ( +3/ 1/ -6/ ) +2/ ( +3/ 1/ -6/ ) +6/?

?( +5/ +1/ -5/ ) -4/ ( 6/ 4/ 1/ ) -5/ ( +1/ 6/ 4/ 1/ -5/ ) 5/ 6/ +1/?

?-1//// 5//// +2//// 0//// +3/ ( 3/ 1/ ) -5/ ( 2/ -7/ -3/ ) -3/ -7//// 2//// 5//// +2//// +5//// +3// -3// +2//?

?( +3/ +1/ -6/ ) -3/ ( 5/ 1/ ) -6/ ( 7/ -7/ 4/ -5/ ) -5/ -1//// 7//// +5//// 0//// +3/ +2/?

?-4//// 6//// +3//// 0//// -4/ ( +5/ 6/? 3/ 1/ ) +3// -4// +2/ ( +3/ 5/ -3/ ) -5/ 2//// 5//// +5//// 0//// +3// -5// +2/?

?( +3/ 4/ -2/ ) ( +1// -2// ) -4// ( +1// -6// ) 1// 6/ ( +2/ 4/ -5/ ) -4/ ( 5// -5// ) 6// +1/?

?-1//// 5//// +2//// 0//// +3/ ( 3/ 1/ ) -5/ ( 2/ -7/ -3/ ) -3// +5// ( 6// -7// 2// ) +3// -3// +2//?

?( +3/ +1/ -6/ ) -5/ ( 5/ 1/ ) ( +2// -6// ) +1// ( 7/ 4/ -5/ ) -5/ ( +5/// 7/// -1/// ) +3/// +2//

?-4//// 6//// +3//// 0//// ( +3/ -4/ ) ( +3/ 3/ 1/ ) ( +4// -4// )? ( +3// +1// ) -4/ ( +2// -5// ) +1// 2/ 1/?

?-3//// 5//// +2//// +5//// +2// ( +3// -3// ) +3// ( 2/ -7/ ) ( +4// -3// )? ( +3// +1// ) -6/ ( +2// -3// ) ( +1// 5// ) 1/ 0// 6//?

?-2//// 4//// +2//// 0//// -2/ -4/ -6// 5// ( +5// +1// 1// ) +2// +3// +3// ( 4/ 1/ ) +4// ( +3// +1// )?

?( -4/ -5/ ) +1// +1// 0 -5//// 1//// 5//// +1//// +5//// +1/ +2/ +1/?

-1/ -5/ ( 5/ 3/ 2/ ) -1/ ( +1/ 5/ ) +2// +3// ( 3/ 1/ ) ( +4// -5// ) ( +5// +2// 5// )?

-3/ +4// ( +3// 5// ) ( 2/ -7/ ) ( +2// -3// ) ( +1// 5// ) -6/ -3/ ( +2// 1// -6// ) +2// -6// +3//?

-2//// 4//// 6//// +3//// ( +4// +1// -2// )? ( +4// +1// ) ( 1/ -6/ ) -2// +3//?

( +3// 6// 4// ) -2// ( +4// +1// )? ( +4// 1// ) ( 1/ -6/ ) -2/?

?-5//// 4//// 6//// +3//// ( +4/ +1/ -4/ ) ( +4/ +1/ 1/ ) ( +3/ +1/ -4/ )? ( +5/ +1/ -5/ ) +3/? ( +2/ 5/ -4/ ) +1/?

?-3//// 5//// +2//// +5//// -3/ ( +5/ +2/ 2/ -7/ ) ( +2/ +5/ -3/ ) 5//// +2//// +5//// 0//// ( +4/ -3/ )? ( +3// -7// 2// ) +2// ( +1/ -3/ )?

?-6/ ( +1/ 6/ ) ( 3/ 1/ )? ( +2/ 7/ -6/ ) 0/ ( +3/ -6/ ) ( +3/ 3/ 1/ ) ( 6/ -6/ )?

?-2//// 4//// 6//// +3//// ( +4// +1// -2// )? ( +4// 1// ) ( 1/ -6/ ) -2// ( +3// +1// ) ( +3// +1// ) -2// ( +4// +1// )? ( +4// +1// ) 1/ -2// +3//?

?-5//// 4//// 6//// +3//// ( +4/ -4/ ) ( +5/ 2/ 1/ ) ( +1/ -5/ ) ( +2/ 6/ 4/ ) -5/ ( 4/ 1/ -6/ ) -5/?

?( +3/ 6/ 4/ -5/ )? ( +4/ +1/ ) ( +5/ +1/ ) +1/ -5//// -4//// 1//// 4//// +1//// +5/ ( +6/ +4/ ) +1/?

-1//// 5//// +2//// 0//// +3// 0// -5// 2// 3// ( 4/ 2/ -3/ ) -7/ -2//// 5//// +2//// +5//// +3// +2// +2//?

( +3/ -6/ ) -3/ ( 1// -5// ) -3// 2// 1// ( -7/ -4/ ) -2// -5// -1//// -7//// 5//// 0//// 3// 2//?

?-4//// 6//// +3//// 0//// -4// 1// 3//// 6//// +5//// 0//// +3// -4// +2// ( +3/ 5/ -3/ ) -5/ 2//// 5//// +5//// +3// -5// +2//?

?-2//// 4//// +3//// 0//// ( -2// +1// 4// ) -4// ( +1// 4// -6// ) 1// 6// -6// -5//// 4//// +2//// 0//// -4/ ( 5// -5// ) 6// +1//?

-1//// 5//// +2//// 0//// +3 ( 3/ 1/ ) -5/ ( 2/ -7/ -3/ ) -3// +5// ( +6// 2// -7// ) +3// -3// +2//?

?-4//// 6//// +3//// 0//// ( +3// 6// -4// ) 1// ( +3// 6// ) 3// ( +4// +1// ) ( +3// +1// ) -4// +1// ( +2// -5// ) +1// ( 4/ 2/ ) 1/?

?-3//// 5//// +2//// +5//// +2// ( +3// -3// ) +3// ( 2/ -7/ ) ( +4// -5// ) ( +3// +1// ) -6/ ( +2// -3// ) ( +1// 5// ) 1/ 0// 6//?

?-2//// 4//// +2//// 0//// -2/ ( 4/ 1/ ) -6// 5// ( +5// +1// 4// 1// ) +2// +3// ( +3// +1// )? ( 4/ 1/ ) ( +4// -2// )? ( +3// +1// )?

? ( -4/ -5/ ) +1// +1// 0/ -2/ -5//// 5//// +1//// +5//// +1/ +2/ +1/?

? -4/ -4/ ( 3/ 1/ -6/ ) -4/ ( 3 1 -6 )? ( 3/ 1/ -6/ ) ( -7/ -5/ )?

? ( 1/ -6/ -4/ -2/ ) -2/ -4/ -6/ ( 1/ -6/ -4/ ) -2/ -5//// -4//// -6//// 2//// 0// 0/??

-1//// -5//// 1//// 2//// 0 5/ 7/ +2/ +5/ +6// +7//? ??