--- /dev/null
+38=(7, 26)+(7, 27)
+29=(8, 31)+(7, 31)
+56=(16, 14)+(16, 13)
+60=(1, 6)+(1, 7)
+18=(5, 20)+(4, 20)
+71=(7, 6)+(8, 6)
+35=(22, 24)+(22, 25)
+32=(29, 24)+(28, 24)
+36=(2, 20)+(3, 20)
+10=(7, 18)+(6, 18)
+53=(9, 32)+(10, 32)
+49=(25, 15)+(26, 15)
+28=(4, 12)+(4, 11)
+36=(21, 14)+(20, 14)
+53=(24, 16)+(24, 17)
+38=(15, 0)+(15, 1)
+36=(14, 28)+(13, 28)
+9=(13, 26)+(13, 25)
+46=(27, 12)+(28, 12)
+47=(13, 18)+(13, 19)
+41=(1, 26)+(1, 27)
+34=(21, 3)+(20, 3)
+36=(19, 17)+(18, 17)
+43=(12, 8)+(11, 8)
+16=(35, 9)+(35, 10)
+38=(6, 31)+(5, 31)
+61=(31, 15)+(31, 16)
+17=(33, 1)+(33, 0)
+25=(13, 30)+(13, 31)
+3=(32, 22)+(32, 21)
+25=(6, 24)+(6, 23)
+37=(22, 17)+(21, 17)
+57=(26, 28)+(26, 29)
+49=(23, 18)+(24, 18)
+43=(23, 29)+(24, 29)
+43=(12, 14)+(11, 14)
+26=(27, 31)+(27, 32)
+13=(6, 28)+(6, 27)
+33=(20, 35)+(19, 35)
+17=(0, 9)+(1, 9)
+46=(33, 31)+(34, 31)
+51=(16, 32)+(15, 32)
+5=(0, 27)+(0, 26)
+45=(33, 28)+(32, 28)
+51=(22, 21)+(22, 20)
+30=(12, 19)+(12, 20)
+31=(9, 4)+(9, 5)
+39=(3, 29)+(4, 29)
+13=(1, 4)+(1, 5)
+32=(12, 22)+(12, 21)
+56=(19, 11)+(18, 11)
+58=(7, 10)+(6, 10)
+55=(21, 31)+(22, 31)
+27=(5, 7)+(5, 8)
+23=(18, 35)+(17, 35)
+38=(4, 32)+(5, 32)
+33=(35, 30)+(34, 30)
+57=(20, 25)+(21, 25)
+25=(34, 18)+(35, 18)
+37=(6, 21)+(7, 21)
+20=(31, 24)+(31, 25)
+37=(25, 4)+(24, 4)
+16=(23, 0)+(23, 1)
+15=(18, 33)+(19, 33)
+47=(2, 10)+(2, 9)
+26=(2, 1)+(1, 1)
+46=(8, 5)+(8, 4)
+53=(24, 10)+(24, 9)
+40=(8, 13)+(8, 14)
+63=(2, 22)+(2, 23)
+12=(11, 7)+(10, 7)
+19=(8, 15)+(7, 15)
+53=(7, 0)+(6, 0)
+35=(1, 28)+(0, 28)
+42=(0, 21)+(1, 21)
+35=(29, 1)+(29, 2)
+18=(30, 19)+(30, 20)
+34=(16, 18)+(15, 18)
+41=(6, 35)+(6, 34)
+24=(29, 8)+(29, 7)
+39=(14, 4)+(14, 3)
+25=(8, 28)+(9, 28)
+50=(16, 30)+(17, 30)
+17=(27, 6)+(26, 6)
+30=(19, 28)+(20, 28)
+16=(33, 14)+(33, 13)
+60=(24, 20)+(23, 20)
+46=(3, 9)+(3, 8)
+38=(21, 33)+(20, 33)
+38=(6, 15)+(5, 15)
+48=(11, 25)+(11, 26)
+12=(23, 11)+(22, 11)
+51=(20, 23)+(19, 23)
+31=(8, 11)+(9, 11)
+36=(28, 3)+(27, 3)
+54=(11, 34)+(10, 34)
+19=(20, 16)+(19, 16)
+53=(16, 23)+(16, 22)
+10=(11, 0)+(11, 1)
+65=(31, 4)+(31, 5)
+32=(2, 35)+(3, 35)
+64=(24, 8)+(24, 7)
+44=(22, 12)+(23, 12)
+37=(12, 16)+(11, 16)
+37=(11, 5)+(11, 4)
+53=(33, 5)+(32, 5)
+34=(27, 26)+(27, 27)
+45=(15, 34)+(16, 34)
+47=(23, 16)+(23, 17)
+25=(24, 24)+(24, 23)
+43=(8, 24)+(8, 25)
+35=(28, 11)+(28, 10)
+52=(12, 10)+(12, 11)
+35=(32, 34)+(32, 35)
+16=(5, 2)+(5, 3)
+23=(30, 30)+(31, 30)
+51=(2, 3)+(3, 3)
+11=(31, 31)+(32, 31)
+26=(5, 16)+(5, 17)
+25=(1, 8)+(0, 8)
+14=(18, 27)+(18, 28)
+31=(13, 24)+(12, 24)
+69=(28, 27)+(28, 28)
+43=(5, 25)+(5, 24)
+43=(13, 21)+(13, 20)
+44=(17, 15)+(16, 15)
+48=(2, 17)+(3, 17)
+29=(24, 26)+(23, 26)
+57=(19, 4)+(18, 4)
+43=(9, 20)+(9, 21)
+29=(33, 12)+(33, 11)
+66=(34, 33)+(33, 33)
+8=(18, 31)+(18, 30)
+69=(10, 16)+(10, 15)
+22=(35, 5)+(34, 5)
+69=(22, 35)+(22, 34)
+32=(24, 1)+(24, 0)
+42=(30, 7)+(31, 7)
+46=(20, 13)+(21, 13)
+49=(9, 35)+(10, 35)
+22=(31, 13)+(30, 13)
+61=(24, 13)+(24, 14)
+39=(11, 27)+(10, 27)
+45=(30, 33)+(31, 33)
+63=(35, 19)+(35, 20)
+21=(15, 10)+(16, 10)
+45=(0, 2)+(0, 1)
+42=(15, 26)+(15, 27)
+25=(15, 2)+(16, 2)
+28=(27, 25)+(27, 24)
+57=(16, 20)+(17, 20)
+12=(19, 26)+(19, 27)
+63=(11, 12)+(11, 13)
+56=(3, 32)+(3, 31)
+9=(21, 9)+(21, 8)
+71=(26, 13)+(26, 12)
+18=(32, 29)+(31, 29)
+45=(15, 7)+(15, 6)
+21=(1, 19)+(2, 19)
+24=(29, 14)+(29, 13)
+17=(27, 22)+(26, 22)
+19=(20, 19)+(19, 19)
+66=(12, 4)+(12, 3)
+50=(19, 14)+(18, 14)
+62=(15, 29)+(14, 29)
+52=(2, 25)+(2, 24)
+39=(23, 31)+(24, 31)
+18=(24, 32)+(25, 32)
+61=(9, 30)+(9, 29)
+39=(35, 11)+(34, 11)
+11=(33, 7)+(33, 8)
+62=(29, 29)+(28, 29)
+7=(27, 20)+(28, 20)
+61=(28, 19)+(28, 18)
+55=(34, 35)+(34, 34)
+63=(26, 17)+(26, 18)
+31=(4, 27)+(5, 27)
+59=(32, 10)+(32, 9)
+35=(25, 20)+(25, 19)
+33=(27, 0)+(28, 0)
+63=(1, 24)+(0, 24)
+51=(35, 15)+(35, 14)
+45=(2, 0)+(3, 0)
+11=(13, 29)+(12, 29)
+36=(18, 0)+(17, 0)
+47=(33, 23)+(33, 24)
+8=(8, 23)+(7, 23)
+41=(15, 12)+(16, 12)
+58=(5, 12)+(5, 11)
+34=(29, 11)+(30, 11)
+13=(13, 33)+(12, 33)
+38=(1, 13)+(0, 13)
+4=(20, 21)+(20, 22)
+41=(25, 3)+(26, 3)
+66=(26, 9)+(25, 9)
+9=(11, 3)+(11, 2)
+15=(4, 17)+(4, 18)
+54=(13, 6)+(13, 5)
+53=(20, 6)+(19, 6)
+5=(15, 14)+(15, 13)
+58=(10, 31)+(11, 31)
+18=(2, 33)+(2, 32)
+45=(35, 26)+(35, 25)
+53=(11, 32)+(11, 33)
+38=(26, 35)+(26, 34)
+22=(25, 22)+(25, 23)
+14=(23, 2)+(22, 2)
+13=(10, 9)+(11, 9)
+63=(27, 33)+(28, 33)
+27=(7, 35)+(8, 35)
+31=(17, 23)+(17, 22)
+33=(24, 6)+(25, 6)
+52=(6, 14)+(5, 14)
+50=(7, 1)+(8, 1)
+39=(27, 7)+(26, 7)
+6=(10, 6)+(10, 5)
+41=(0, 31)+(0, 32)
+30=(32, 25)+(32, 24)
+44=(27, 5)+(26, 5)
+11=(22, 8)+(22, 9)
+59=(22, 26)+(21, 26)
+29=(18, 21)+(18, 22)
+50=(33, 15)+(34, 15)
+11=(9, 16)+(9, 17)
+45=(27, 2)+(27, 1)
+32=(5, 35)+(5, 34)
+13=(6, 29)+(7, 29)
+35=(0, 11)+(0, 10)
+3=(35, 0)+(34, 0)
+31=(32, 8)+(32, 7)
+22=(16, 1)+(16, 0)
+43=(9, 26)+(9, 27)
+24=(2, 6)+(2, 7)
+64=(4, 21)+(3, 21)
+39=(32, 18)+(32, 17)
+45=(0, 16)+(1, 16)
+41=(16, 28)+(16, 27)
+23=(13, 35)+(14, 35)
+17=(22, 0)+(22, 1)
+40=(33, 22)+(33, 21)
+37=(17, 2)+(18, 2)
+19=(28, 6)+(28, 5)
+28=(7, 33)+(8, 33)
+70=(28, 23)+(29, 23)
+14=(10, 4)+(10, 3)
+22=(14, 22)+(13, 22)
+31=(13, 13)+(13, 14)
+27=(31, 22)+(30, 22)
+32=(18, 5)+(17, 5)
+33=(17, 9)+(17, 8)
+40=(32, 1)+(31, 1)
+10=(14, 19)+(14, 20)
+54=(35, 23)+(35, 22)
+47=(4, 23)+(5, 23)
+30=(9, 12)+(8, 12)
+38=(8, 9)+(8, 8)
+55=(2, 16)+(2, 15)
+31=(10, 21)+(10, 22)
+29=(24, 27)+(23, 27)
+51=(35, 35)+(35, 34)
+17=(12, 26)+(12, 27)
+39=(25, 18)+(25, 17)
+71=(16, 16)+(16, 17)
+54=(14, 30)+(14, 31)
+9=(26, 25)+(26, 26)
+31=(30, 32)+(29, 32)
+39=(34, 24)+(35, 24)
+47=(18, 13)+(18, 12)
+19=(25, 28)+(24, 28)
+47=(20, 1)+(20, 2)
+36=(34, 19)+(33, 19)
+33=(21, 18)+(20, 18)
+45=(10, 24)+(10, 25)
+33=(10, 8)+(9, 8)
+31=(27, 16)+(28, 16)
+67=(21, 35)+(21, 34)
+49=(1, 15)+(1, 14)
+49=(6, 22)+(5, 22)
+31=(17, 28)+(17, 29)
+14=(29, 16)+(29, 17)
+42=(34, 14)+(34, 13)
+25=(29, 5)+(29, 4)
+28=(7, 20)+(6, 20)
+66=(16, 19)+(17, 19)
+9=(8, 30)+(7, 30)
+39=(31, 6)+(30, 6)
+69=(19, 8)+(19, 7)
+56=(14, 0)+(13, 0)
+12=(3, 23)+(3, 24)
+57=(31, 27)+(32, 27)
+43=(9, 0)+(10, 0)
+41=(30, 12)+(31, 12)
+47=(23, 25)+(24, 25)
+44=(24, 19)+(23, 19)
+5=(3, 13)+(3, 14)
+46=(5, 1)+(6, 1)
+65=(33, 27)+(34, 27)
+47=(8, 18)+(9, 18)
+35=(4, 24)+(4, 25)
+64=(17, 18)+(17, 17)
+56=(9, 33)+(9, 34)
+53=(35, 28)+(35, 27)
+54=(1, 18)+(1, 17)
+54=(35, 33)+(35, 32)
+55=(35, 21)+(34, 21)
+53=(9, 25)+(9, 24)
+7=(9, 14)+(9, 15)
+11=(26, 19)+(27, 19)
+49=(22, 32)+(22, 33)
+25=(31, 18)+(30, 18)
+38=(11, 17)+(11, 18)
+26=(14, 23)+(14, 24)
+10=(34, 1)+(34, 2)
+26=(27, 10)+(27, 11)
+9=(5, 33)+(6, 33)
+64=(30, 3)+(30, 4)
+36=(2, 28)+(2, 27)
+7=(25, 34)+(25, 33)
+30=(1, 34)+(2, 34)
+63=(18, 1)+(19, 1)
+65=(21, 27)+(20, 27)
+8=(20, 17)
+41=(17, 6)+(18, 6)
+19=(3, 27)+(3, 26)
+46=(29, 34)+(29, 33)
+31=(32, 16)+(33, 16)
+59=(22, 23)+(21, 23)
+6=(23, 5)+(23, 4)
+45=(4, 0)+(5, 0)
+35=(16, 24)+(16, 25)
+61=(6, 5)+(6, 6)
+43=(20, 34)+(19, 34)
+55=(29, 30)+(28, 30)
+46=(10, 18)+(10, 19)
+21=(34, 12)+(35, 12)
+38=(14, 7)+(14, 6)
+53=(6, 9)+(5, 9)
+40=(11, 15)+(12, 15)
+20=(15, 5)+(16, 5)
+37=(16, 21)+(15, 21)
+59=(18, 9)+(18, 8)
+25=(0, 0)+(1, 0)
+39=(23, 34)+(23, 33)
+68=(29, 21)+(29, 22)
+25=(34, 17)+(33, 17)
+13=(4, 4)+(4, 3)
+62=(0, 7)+(0, 6)
+62=(24, 15)+(23, 15)
+15=(15, 8)+(16, 8)
+23=(32, 0)+(31, 0)
+35=(17, 25)+(18, 25)
+15=(17, 10)+(17, 11)
+36=(17, 34)+(17, 33)
+30=(10, 28)+(11, 28)
+35=(30, 26)+(29, 26)
+8=(12, 28)
+40=(19, 18)+(18, 18)
+30=(28, 8)+(28, 7)
+61=(10, 30)+(11, 30)
+31=(20, 8)+(20, 9)
+27=(21, 4)+(21, 5)
+37=(25, 1)+(26, 1)
+26=(3, 16)+(4, 16)
+11=(1, 12)+(2, 12)
+34=(20, 11)+(21, 11)
+5=(21, 16)+(21, 15)
+11=(19, 29)+(19, 30)
+41=(22, 14)+(22, 13)
+40=(6, 26)+(5, 26)
+48=(16, 33)+(15, 33)
+46=(14, 11)+(13, 11)
+22=(20, 30)+(20, 31)
+12=(34, 6)+(33, 6)
+59=(25, 10)+(25, 11)
+49=(30, 0)+(30, 1)
+48=(16, 35)+(15, 35)
+44=(32, 19)+(31, 19)
+7=(35, 13)
+33=(5, 18)+(5, 19)
+23=(20, 15)+(19, 15)
+11=(12, 34)+(12, 35)
+19=(3, 7)+(4, 7)
+56=(24, 12)+(24, 11)
+41=(0, 33)+(1, 33)
+34=(4, 35)+(4, 34)
+11=(16, 7)+(16, 6)
+17=(30, 29)+(30, 28)
+15=(5, 4)+(5, 5)
+3=(14, 21)
+37=(4, 15)+(3, 15)
+56=(0, 29)+(1, 29)
+20=(3, 12)+(3, 11)
+33=(8, 22)+(9, 22)
+39=(0, 3)+(0, 4)
+59=(12, 5)+(12, 6)
+68=(31, 11)+(32, 11)
+41=(11, 19)+(11, 20)
+44=(31, 2)+(32, 2)
+32=(7, 17)+(6, 17)
+30=(13, 27)+(14, 27)
+45=(0, 17)+(0, 18)
+48=(0, 14)+(0, 15)
+47=(20, 5)+(19, 5)
+42=(14, 33)+(14, 34)
+44=(33, 25)+(33, 26)
+38=(33, 35)+(33, 34)
+29=(1, 20)+(0, 20)
+51=(4, 9)+(4, 10)
+64=(7, 7)+(8, 7)
+61=(12, 2)+(13, 2)
+33=(26, 21)+(27, 21)
+45=(33, 20)+(32, 20)
+41=(4, 30)+(5, 30)
+55=(1, 30)+(2, 30)
+41=(32, 30)+(33, 30)
+38=(6, 12)+(7, 12)
+31=(29, 18)+(29, 19)
+36=(34, 32)+(33, 32)
+37=(15, 24)+(15, 23)
+24=(7, 28)
+39=(7, 3)+(6, 3)
+64=(19, 3)+(18, 3)
+37=(32, 33)+(32, 32)
+65=(9, 19)+(8, 19)
+16=(29, 6)
+32=(34, 3)+(35, 3)
+5=(15, 16)+(15, 15)
+24=(8, 26)+(8, 27)
+59=(3, 34)+(3, 33)
+36=(18, 19)+(18, 20)
+54=(28, 32)+(28, 31)
+40=(12, 12)+(13, 12)
+20=(22, 19)+(21, 19)
+22=(1, 22)+(1, 23)
+55=(27, 35)+(28, 35)
+29=(19, 31)+(19, 32)
+43=(15, 31)+(16, 31)
+28=(33, 10)+(33, 9)
+30=(4, 19)+(3, 19)
+53=(25, 7)+(25, 8)
+57=(27, 30)+(27, 29)
+33=(22, 15)+(22, 16)
+12=(7, 34)+(8, 34)
+44=(33, 4)+(33, 3)
+40=(3, 5)+(4, 5)
+14=(28, 14)+(28, 13)
+27=(30, 35)+(30, 34)
+33=(19, 12)+(20, 12)
+62=(23, 21)+(23, 22)
+23=(16, 9)+(15, 9)
+34=(18, 26)+(17, 26)
+28=(7, 11)+(6, 11)
+51=(22, 30)+(21, 30)
+46=(19, 0)+(20, 0)
+55=(32, 3)+(31, 3)
+60=(3, 1)+(3, 2)
+54=(34, 16)+(35, 16)
+19=(23, 35)+(24, 35)
+45=(14, 2)+(14, 1)
+50=(29, 27)+(29, 28)
+63=(17, 31)+(17, 32)
+7=(31, 28)
+33=(11, 24)+(11, 23)
+54=(25, 14)+(26, 14)
+33=(21, 22)+(21, 21)
+37=(6, 8)+(6, 7)
+31=(29, 20)
+18=(17, 27)
+23=(1, 25)+(0, 25)
+27=(13, 16)+(13, 15)
+23=(4, 6)+(3, 6)
+29=(34, 29)+(34, 28)
+29=(26, 32)+(26, 31)
+53=(13, 3)+(13, 4)
+38=(1, 10)+(1, 11)
+53=(3, 4)+(2, 4)
+29=(15, 3)+(15, 4)
+31=(0, 5)
+41=(18, 7)+(17, 7)
+18=(2, 8)
+36=(30, 5)
+33=(32, 23)+(31, 23)
+48=(24, 22)+(24, 21)
+3=(31, 32)
+31=(27, 23)+(26, 23)
+17=(33, 2)
+25=(8, 2)+(7, 2)
+35=(31, 17)+(30, 17)
+28=(10, 26)
+43=(31, 20)+(31, 21)
+32=(2, 5)
+45=(14, 10)+(13, 10)
+19=(15, 11)+(16, 11)
+21=(6, 32)+(7, 32)
+28=(28, 26)+(28, 25)
+15=(22, 6)+(23, 6)
+55=(8, 21)+(8, 20)
+42=(14, 12)+(14, 13)
+23=(8, 32)
+39=(6, 19)+(7, 19)
+21=(29, 15)+(28, 15)
+48=(2, 13)+(2, 14)
+21=(4, 22)+(3, 22)
+38=(12, 18)+(12, 17)
+66=(12, 1)+(13, 1)
+30=(19, 2)
+55=(25, 0)+(26, 0)
+30=(10, 20)
+36=(9, 7)+(9, 6)
+57=(7, 5)+(7, 4)
+37=(9, 23)+(10, 23)
+20=(35, 4)+(34, 4)
+26=(15, 28)
+41=(10, 12)+(10, 13)
+39=(26, 27)+(25, 27)
+58=(31, 8)+(30, 8)
+42=(25, 5)+(24, 5)
+24=(18, 23)+(18, 24)
+62=(34, 22)+(34, 23)
+24=(13, 23)+(12, 23)
+11=(0, 34)+(0, 35)
+14=(11, 11)+(11, 10)
+44=(2, 31)+(1, 31)
+12=(14, 18)+(14, 17)
+44=(28, 2)+(28, 1)
+14=(16, 29)
+27=(30, 31)+(29, 31)
+41=(15, 20)+(15, 19)
+6=(13, 17)
+36=(21, 29)+(20, 29)
+27=(6, 4)
+31=(5, 29)+(5, 28)
+44=(34, 9)+(34, 8)
+10=(17, 3)+(17, 4)
+26=(3, 18)+(2, 18)
+27=(26, 4)+(27, 4)
+8=(24, 3)+(23, 3)
+25=(28, 21)+(28, 22)
+13=(3, 30)
+39=(14, 14)+(14, 15)
+41=(20, 10)+(21, 10)
+37=(25, 12)+(25, 13)
+34=(15, 22)
+33=(0, 23)+(0, 22)
+47=(34, 26)+(34, 25)
+39=(21, 2)+(21, 1)
+25=(27, 14)+(27, 13)
+47=(23, 24)+(23, 23)
+14=(22, 4)+(22, 3)
+32=(29, 35)
+57=(21, 24)+(20, 24)
+14=(35, 8)+(35, 7)
+15=(25, 31)+(25, 30)
+23=(35, 17)
+22=(32, 15)+(32, 14)
+14=(21, 20)+(20, 20)
+22=(23, 7)+(22, 7)
+25=(1, 32)
+29=(2, 21)
+16=(2, 2)+(1, 2)
+32=(31, 34)+(31, 35)
+6=(30, 21)
+1=(18, 34)
+32=(35, 29)
+41=(22, 27)+(22, 28)
+63=(8, 17)+(8, 16)
+8=(31, 26)+(32, 26)
+26=(23, 10)+(22, 10)
+14=(32, 6)
+1=(5, 10)
+3=(19, 24)+(19, 25)
+31=(30, 14)+(31, 14)
+23=(30, 27)
+54=(17, 13)+(17, 14)
+24=(30, 25)+(30, 24)
+35=(27, 8)+(26, 8)
+1=(17, 1)
+5=(2, 29)
+28=(27, 28)
+41=(6, 16)+(7, 16)
+10=(22, 5)
+40=(21, 6)+(21, 7)
+23=(0, 19)
+46=(32, 13)+(32, 12)
+3=(9, 13)
+41=(9, 3)+(8, 3)
+62=(23, 14)+(23, 13)
+12=(3, 10)
+61=(3, 28)+(4, 28)
+32=(17, 16)+(18, 16)
+11=(9, 31)
+39=(7, 25)+(7, 24)
+65=(14, 25)+(15, 25)
+8=(14, 16)
+24=(11, 35)
+16=(28, 9)+(27, 9)
+32=(30, 2)
+51=(13, 8)+(14, 8)
+21=(10, 2)+(10, 1)
+30=(35, 31)
+2=(1, 35)
+1=(25, 35)
+66=(30, 9)+(31, 9)
+56=(19, 10)+(18, 10)
+34=(5, 6)
+35=(9, 10)+(9, 9)
+36=(21, 28)
+8=(10, 14)
+5=(34, 7)
+33=(26, 24)+(25, 24)
+20=(25, 26)+(25, 25)
+4=(25, 29)
+43=(29, 10)+(30, 10)
+23=(4, 13)+(5, 13)
+15=(26, 30)
+30=(17, 24)
+18=(14, 5)
+38=(25, 2)+(26, 2)
+36=(4, 8)
+18=(30, 23)
+42=(20, 32)+(21, 32)
+25=(22, 22)
+36=(27, 18)+(27, 17)
+26=(7, 22)
+23=(11, 6)
+53=(11, 29)+(10, 29)
+54=(4, 2)+(4, 1)
+16=(23, 28)
+42=(26, 11)+(26, 10)
+18=(22, 29)
+27=(4, 31)
+9=(13, 34)
+30=(3, 25)
+13=(29, 3)
+36=(9, 1)+(9, 2)
+13=(4, 14)
+50=(30, 16)+(30, 15)
+34=(12, 0)
+5=(12, 32)+(12, 31)
+24=(12, 13)
+4=(29, 12)
+26=(8, 0)
+39=(6, 13)+(7, 13)
+17=(10, 33)
+22=(19, 21)+(19, 22)
+17=(0, 12)
+36=(6, 2)
+48=(14, 9)+(13, 9)
+34=(24, 2)
+14=(33, 18)
+34=(1, 3)
+27=(34, 20)
+4=(34, 10)
+36=(19, 9)
+7=(2, 26)
+27=(22, 18)
+19=(16, 3)+(16, 4)
+12=(35, 2)+(35, 1)
+35=(20, 26)
+17=(24, 34)+(24, 33)
+10=(0, 30)
+68=(12, 7)+(13, 7)
+12=(15, 17)
+21=(18, 15)
+59=(7, 9)+(7, 8)
+19=(10, 11)+(10, 10)
+9=(19, 20)
+28=(32, 4)
+36=(5, 21)
+9=(35, 6)
+33=(17, 21)
+7=(18, 29)
+20=(2, 11)
+13=(25, 21)
+4=(6, 30)
+34=(4, 26)
+27=(17, 12)
+19=(26, 33)
+26=(25, 16)+(26, 16)
+12=(26, 20)
+16=(28, 17)
+6=(21, 12)
+27=(10, 17)
+43=(13, 32)+(14, 32)
+1=(6, 25)
+12=(23, 8)+(23, 9)
+31=(14, 26)
+18=(20, 4)
+26=(12, 9)
+18=(4, 33)
+29=(33, 29)
+30=(7, 14)
+26=(11, 22)+(11, 21)
+34=(29, 25)
+1=(29, 9)
+2=(12, 30)
+15=(8, 29)
+6=(27, 15)
+25=(20, 7)
+17=(21, 0)
+22=(28, 4)
+38=(23, 30)+(24, 30)
+20=(16, 26)
+23=(19, 13)
+17=(8, 10)
+63=(28, 34)+(27, 34)
+4=(18, 32)
+35=(15, 30)
+11=(12, 25)
+18=(31, 10)
+22=(23, 32)
+11=(29, 0)
projects / Benchmarks_CSolver.git / blobdiff