--- /dev/null
+22=(21, 11)+(21, 12)
+28=(1, 22)+(2, 22)
+34=(10, 8)+(10, 7)
+4=(13, 7)+(13, 8)
+14=(19, 9)+(18, 9)
+41=(6, 5)+(5, 5)
+49=(21, 4)+(20, 4)
+9=(2, 8)+(2, 9)
+9=(15, 17)+(16, 17)
+33=(22, 12)+(23, 12)
+3=(0, 24)+(0, 23)
+25=(22, 15)+(22, 14)
+37=(5, 7)+(6, 7)
+9=(17, 12)+(16, 12)
+9=(4, 13)+(4, 14)
+6=(24, 1)+(23, 1)
+19=(1, 13)+(0, 13)
+12=(16, 20)+(16, 19)
+37=(18, 17)+(19, 17)
+19=(23, 3)+(23, 4)
+33=(18, 23)+(17, 23)
+39=(8, 16)+(7, 16)
+42=(23, 24)+(22, 24)
+17=(11, 14)+(10, 14)
+24=(1, 9)+(1, 10)
+27=(2, 3)+(1, 3)
+37=(6, 3)+(5, 3)
+25=(14, 5)+(14, 6)
+18=(1, 18)+(2, 18)
+39=(22, 21)+(23, 21)
+27=(19, 14)+(18, 14)
+9=(21, 22)+(20, 22)
+31=(16, 4)+(16, 5)
+7=(0, 22)+(0, 21)
+33=(20, 0)+(20, 1)
+23=(21, 9)+(21, 10)
+3=(4, 4)+(4, 3)
+32=(11, 10)+(10, 10)
+35=(7, 9)+(8, 9)
+13=(17, 5)+(17, 4)
+44=(16, 8)+(15, 8)
+34=(9, 14)+(9, 13)
+35=(16, 0)+(16, 1)
+27=(12, 8)+(11, 8)
+45=(0, 0)+(1, 0)
+22=(13, 24)+(14, 24)
+34=(5, 16)+(4, 16)
+7=(12, 13)+(12, 12)
+31=(2, 11)+(1, 11)
+30=(19, 2)+(20, 2)
+36=(17, 22)+(17, 21)
+10=(6, 14)+(5, 14)
+41=(23, 15)+(23, 14)
+24=(23, 17)+(23, 18)
+42=(4, 6)+(5, 6)
+20=(23, 7)+(23, 8)
+36=(15, 13)+(16, 13)
+44=(20, 19)+(19, 19)
+49=(11, 7)+(11, 6)
+17=(9, 20)+(9, 21)
+15=(6, 20)+(5, 20)
+32=(9, 4)+(10, 4)
+44=(18, 12)+(18, 13)
+21=(19, 5)+(19, 4)
+29=(20, 14)+(20, 13)
+7=(13, 9)+(14, 9)
+7=(0, 19)+(1, 19)
+38=(24, 18)+(24, 19)
+34=(5, 4)+(6, 4)
+27=(20, 6)+(20, 7)
+33=(13, 19)+(13, 18)
+24=(19, 7)+(18, 7)
+24=(15, 1)+(14, 1)
+21=(16, 11)+(15, 11)
+33=(21, 17)+(22, 17)
+29=(6, 11)+(7, 11)
+24=(6, 18)+(6, 19)
+35=(11, 4)+(11, 3)
+44=(10, 0)+(11, 0)
+23=(3, 0)+(4, 0)
+47=(13, 12)+(13, 11)
+9=(5, 24)+(5, 23)
+33=(4, 17)+(4, 18)
+46=(23, 13)+(22, 13)
+3=(5, 19)+(5, 18)
+35=(15, 9)+(16, 9)
+11=(7, 6)+(7, 7)
+29=(21, 2)+(21, 1)
+22=(15, 14)+(15, 15)
+47=(0, 2)+(0, 1)
+12=(5, 13)+(6, 13)
+27=(20, 23)+(20, 24)
+21=(0, 12)+(1, 12)
+15=(8, 1)+(8, 0)
+23=(13, 5)+(12, 5)
+18=(17, 2)+(17, 1)
+42=(8, 22)+(8, 21)
+28=(22, 19)+(21, 19)
+27=(22, 7)+(21, 7)
+35=(9, 6)+(9, 7)
+42=(9, 10)+(9, 11)
+47=(8, 20)+(8, 19)
+35=(6, 22)+(5, 22)
+11=(15, 24)+(15, 23)
+46=(12, 16)+(12, 15)
+19=(7, 2)+(7, 3)
+49=(2, 15)+(2, 16)
+31=(19, 15)+(19, 16)
+33=(0, 8)+(0, 9)
+28=(14, 18)+(14, 17)
+22=(18, 1)+(18, 0)
+29=(19, 24)+(18, 24)
+5=(10, 23)+(9, 23)
+3=(19, 0)+(19, 1)
+17=(0, 16)+(0, 17)
+25=(22, 4)+(22, 5)
+15=(5, 15)+(6, 15)
+35=(11, 1)+(12, 1)
+42=(23, 9)+(24, 9)
+32=(7, 15)+(8, 15)
+12=(24, 10)+(24, 11)
+23=(5, 11)+(5, 12)
+38=(18, 16)+(18, 15)
+9=(8, 4)+(7, 4)
+31=(2, 19)+(3, 19)
+26=(14, 23)+(13, 23)
+23=(7, 0)+(7, 1)
+18=(10, 15)+(11, 15)
+37=(6, 24)+(7, 24)
+33=(9, 12)+(10, 12)
+26=(12, 23)+(11, 23)
+36=(11, 5)+(10, 5)
+26=(12, 18)+(11, 18)
+7=(18, 10)+(17, 10)
+30=(3, 22)+(3, 21)
+42=(12, 20)+(12, 19)
+12=(22, 11)+(23, 11)
+33=(4, 21)+(4, 20)
+25=(17, 15)+(16, 15)
+9=(2, 7)+(3, 7)
+9=(11, 16)+(10, 16)
+12=(17, 9)+(17, 8)
+12=(4, 8)+(3, 8)
+25=(4, 2)+(5, 2)
+26=(14, 0)+(15, 0)
+8=(11, 24)+(10, 24)
+38=(3, 10)+(2, 10)
+7=(18, 11)+(17, 11)
+21=(5, 10)+(6, 10)
+37=(0, 6)+(0, 7)
+8=(10, 21)+(10, 20)
+38=(14, 13)+(14, 12)
+8=(21, 16)+(20, 16)
+44=(7, 23)+(6, 23)
+17=(19, 3)+(18, 3)
+14=(11, 11)+(12, 11)
+35=(21, 3)+(22, 3)
+30=(9, 0)+(9, 1)
+28=(21, 13)+(21, 14)
+28=(19, 20)+(18, 20)
+35=(14, 19)+(14, 20)
+13=(6, 16)+(6, 17)
+18=(9, 8)+(8, 8)
+16=(9, 24)+(8, 24)
+26=(3, 24)+(4, 24)
+18=(3, 6)+(2, 6)
+18=(6, 21)+(5, 21)
+8=(21, 21)+(20, 21)
+39=(14, 11)+(14, 10)
+19=(10, 13)+(11, 13)
+46=(16, 14)+(17, 14)
+8=(11, 19)+(10, 19)
+37=(24, 24)+(24, 23)
+41=(2, 23)+(3, 23)
+11=(15, 18)+(16, 18)
+29=(11, 9)+(12, 9)
+26=(9, 17)+(8, 17)
+42=(20, 8)+(20, 9)
+14=(12, 6)+(13, 6)
+31=(13, 22)+(14, 22)
+29=(12, 2)+(11, 2)
+17=(8, 14)+(7, 14)
+9=(1, 16)+(1, 15)
+37=(1, 2)+(1, 1)
+28=(15, 10)+(16, 10)
+17=(21, 24)+(21, 23)
+21=(0, 14)+(0, 15)
+28=(23, 16)+(22, 16)
+11=(24, 5)+(23, 5)
+29=(24, 16)+(24, 17)
+13=(4, 7)
+40=(9, 2)+(10, 2)
+39=(1, 4)+(1, 5)
+25=(2, 14)+(3, 14)
+20=(16, 24)+(16, 23)
+11=(3, 3)+(3, 2)
+11=(15, 16)+(16, 16)
+39=(4, 10)+(4, 11)
+14=(8, 7)+(8, 6)
+8=(20, 15)+(21, 15)
+19=(22, 2)+(22, 1)
+28=(2, 12)+(3, 12)
+4=(23, 0)+(24, 0)
+30=(12, 10)+(13, 10)
+17=(5, 8)+(6, 8)
+28=(8, 10)+(8, 11)
+20=(16, 21)+(16, 22)
+44=(15, 2)+(16, 2)
+27=(9, 18)+(8, 18)
+24=(19, 13)+(19, 12)
+31=(14, 7)+(15, 7)
+31=(11, 22)+(12, 22)
+32=(24, 12)+(24, 13)
+34=(7, 18)+(7, 17)
+45=(21, 18)+(22, 18)
+19=(20, 11)+(20, 12)
+27=(22, 8)+(22, 9)
+27=(13, 16)+(13, 15)
+43=(0, 3)+(0, 4)
+38=(2, 21)+(1, 21)
+7=(14, 3)+(14, 2)
+24=(13, 13)+(13, 14)
+16=(1, 20)+(0, 20)
+31=(17, 19)+(18, 19)
+33=(7, 20)+(7, 21)
+30=(16, 6)+(15, 6)
+37=(3, 16)+(3, 17)
+3=(12, 14)
+23=(24, 22)+(23, 22)
+25=(2, 0)+(2, 1)
+40=(18, 21)+(18, 22)
+41=(15, 5)+(15, 4)
+32=(23, 23)+(22, 23)
+42=(18, 18)+(17, 18)
+6=(8, 5)+(7, 5)
+37=(1, 23)+(1, 24)
+12=(13, 3)+(13, 4)
+35=(6, 2)+(6, 1)
+22=(24, 14)+(24, 15)
+9=(20, 20)+(21, 20)
+25=(23, 10)+(22, 10)
+6=(15, 22)+(15, 21)
+40=(9, 15)+(9, 16)
+24=(12, 0)+(13, 0)
+22=(20, 17)+(20, 18)
+17=(17, 13)
+37=(5, 1)+(4, 1)
+9=(19, 6)+(18, 6)
+44=(14, 16)+(14, 15)
+29=(0, 10)+(0, 11)
+7=(7, 8)
+23=(2, 17)+(1, 17)
+16=(3, 11)
+36=(1, 8)+(1, 7)
+38=(17, 17)+(17, 16)
+19=(14, 8)
+3=(24, 6)+(23, 6)
+26=(22, 6)+(21, 6)
+24=(12, 24)
+4=(18, 2)
+45=(8, 12)+(7, 12)
+37=(4, 5)+(3, 5)
+3=(8, 2)+(8, 3)
+32=(18, 8)+(19, 8)
+17=(7, 22)
+13=(8, 23)
+6=(15, 20)+(15, 19)
+35=(13, 17)+(12, 17)
+23=(12, 4)+(12, 3)
+23=(6, 6)
+27=(11, 20)+(11, 21)
+20=(24, 2)+(24, 3)
+12=(22, 22)
+17=(14, 14)
+7=(9, 19)
+16=(7, 13)+(8, 13)
+23=(20, 3)
+43=(5, 0)+(6, 0)
+31=(19, 11)+(19, 10)
+35=(16, 7)+(17, 7)
+15=(22, 0)+(21, 0)
+26=(24, 21)+(24, 20)
+35=(14, 21)+(13, 21)
+44=(22, 20)+(23, 20)
+13=(3, 4)+(2, 4)
+6=(5, 17)
+15=(15, 12)
+7=(3, 1)
+17=(18, 5)+(18, 4)
+24=(5, 9)+(4, 9)
+22=(10, 1)
+41=(19, 23)+(19, 22)
+6=(20, 10)
+23=(7, 10)
+6=(6, 12)
+27=(16, 3)+(17, 3)
+10=(10, 17)+(11, 17)
+36=(24, 8)+(24, 7)
+25=(15, 3)
+1=(3, 9)
+28=(10, 9)+(9, 9)
+6=(1, 14)
+15=(4, 23)+(4, 22)
+9=(12, 7)
+11=(17, 0)
+15=(17, 6)
+36=(3, 15)+(4, 15)
+8=(10, 18)
+12=(23, 2)
+17=(13, 1)+(13, 2)
+9=(11, 12)
+11=(19, 18)
+23=(17, 24)
+8=(2, 5)
+13=(6, 9)
+14=(21, 8)
+18=(24, 4)
+25=(2, 13)+(3, 13)
+7=(9, 22)+(10, 22)
+28=(9, 3)+(10, 3)
+17=(12, 21)
+11=(2, 2)
+9=(23, 19)
+22=(7, 19)
+18=(4, 12)
+22=(1, 6)
+7=(0, 18)
+20=(10, 6)
+15=(3, 18)
+21=(13, 20)
+20=(0, 5)
+7=(17, 20)
+26=(21, 5)+(20, 5)
+25=(19, 21)
+24=(9, 5)
+18=(2, 24)
+33=(3, 20)+(2, 20)
+15=(10, 11)
+11=(4, 19)
+2=(14, 4)
projects / Benchmarks_CSolver.git / blobdiff