V =
(0:-1)[0:0:0]
(1:-1)[50:0:0]
(2:-1)[0:11:11]
(3:-1)[0:0:0]
(4:-1)[0:22:22]
(5:-1)[45:48:48]
(6:-1)[34:0:0]
(7:-1)[0:0:0]
(8:-1)[56:0:0]
(9:-1)[0:15:15]
(10:-1)[9:49:49]
(11:-1)[30:0:0]
(12:-1)[25:13:13]
(13:-1)[0:0:0]
(14:-1)[39:30:30]
(15:-1)[52:0:0]
(16:-1)[0:0:0]
(17:-1)[60:56:56]
(18:-1)[0:0:0]
(19:-1)[20:0:0]
(20:-1)[0:0:0]
(21:-1)[13:52:52]
(22:-1)[0:0:0]
(23:-1)[6:0:0]
(24:-1)[0:0:0]
(25:-1)[0:0:0]
(26:-1)[0:51:51]
(27:-1)[35:17:17]
(28:-1)[3:0:0]
(29:-1)[0:50:50]
(30:-1)[0:0:0]
(31:-1)[0:0:0]
(32:-1)[37:69:69]
(33:-1)[0:0:0]
(34:-1)[0:0:0]
(35:-1)[0:0:0]
(36:-1)[0:26:26]
(37:-1)[58:2:2]
(38:-1)[28:0:0]
(39:-1)[0:54:54]
(40:-1)[0:37:37]
(41:-1)[63:0:0]
(42:-1)[48:0:0]
(43:-1)[22:0:0]
(44:-1)[16:0:0]
(45:-1)[21:0:0]
(46:-1)[0:0:0]
(47:-1)[57:4:4]
(48:-1)[47:0:0]
(49:-1)[0:29:29]
(50:-1)[46:0:0]
(51:-1)[62:0:0]
(52:-1)[0:0:0]
(53:-1)[64:46:46]
(54:-1)[67:64:64]
(55:-1)[0:8:8]
(56:-1)[36:36:36]
(57:-1)[54:0:0]
(58:-1)[0:24:24]
(59:-1)[61:0:0]
(60:-1)[10:0:0]
(61:-1)[0:10:10]
(62:-1)[0:57:57]
(63:-1)[0:6:6]
(64:-1)[32:7:7]
(65:-1)[0:0:0]
(66:-1)[0:65:65]
(67:-1)[70:14:14]
(68:-1)[24:0:0]
(69:-1)[12:0:0]
(70:-1)[1:60:60]
(71:-1)[0:34:34]
(72:-1)[0:25:25]
(73:-1)[0:0:0]
(74:-1)[0:40:40]
(75:-1)[40:0:0]
(76:-1)[0:0:0]
(77:-1)[0:67:67]
(78:-1)[44:0:0]
(79:-1)[0:0:0]
(80:-1)[23:0:0]
(81:-1)[26:0:0]
(82:-1)[0:0:0]
(83:-1)[0:0:0]
(84:-1)[19:0:0]
(85:-1)[0:53:53]
(86:-1)[8:59:59]
(87:-1)[11:0:0]
(88:-1)[18:33:33]
(89:-1)[27:0:0]
(90:-1)[17:39:39]
(91:-1)[0:0:0]
(92:-1)[43:66:66]
(93:-1)[0:32:32]
(94:-1)[29:0:0]
(95:-1)[0:5:5]
(96:-1)[0:68:68]
(97:-1)[38:0:0]
(98:-1)[0:0:0]
(99:-1)[0:43:43]
(100:-1)[0:41:41]
(101:-1)[66:38:38]
(102:-1)[0:1:1]
(103:-1)[33:3:3]
(104:-1)[0:55:55]
(105:-1)[14:44:44]
(106:-1)[53:0:0]
(107:-1)[51:0:0]
(108:-1)[15:58:58]
(109:-1)[59:20:20]
(110:-1)[0:31:31]
(111:-1)[41:0:0]
(112:-1)[0:0:0]
(113:-1)[65:42:42]
(114:-1)[0:16:16]
(115:-1)[0:45:45]
(116:-1)[0:0:0]
(117:-1)[4:47:47]
(118:-1)[31:0:0]
(119:-1)[68:0:0]
(120:-1)[0:9:9]
(121:-1)[55:35:35]
(122:-1)[0:28:28]
(123:-1)[0:0:0]
(124:-1)[49:63:63]
(125:-1)[0:0:0]
(126:-1)[0:0:0]
(127:-1)[0:23:23]
(128:-1)[0:0:0]
(129:-1)[0:21:21]
(130:-1)[0:61:61]
(131:-1)[7:0:0]
(132:-1)[2:27:27]
(133:-1)[0:0:0]
(134:-1)[0:19:19]
(135:-1)[0:62:62]
(136:-1)[0:12:12]
(137:-1)[0:0:0]
(138:-1)[0:0:0]
(139:-1)[42:0:0]
(140:-1)[0:0:0]
(141:-1)[5:18:18]
(142:-1)[69:0:0]
(143:-1)[0:70:70]
E =
{1,0} (-1)
{12,0} (-1)
{2,1} (-1)
{13,1} (-1)
{3,2} (-1)
{14,2} (-1)
{4,3} (-1)
{15,3} (-1)
{5,4} (-1)
{16,4} (-1)
{6,5} (-1)
{17,5} (-1)
{7,6} (-1)
{18,6} (-1)
{8,7} (-1)
{19,7} (-1)
{9,8} (-1)
{20,8} (-1)
{10,9} (-1)
{21,9} (-1)
{11,10} (-1)
{22,10} (-1)
{13,12} (-1)
{24,12} (-1)
{14,13} (-1)
{25,13} (-1)
{15,14} (-1)
{26,14} (-1)
{16,15} (-1)
{27,15} (-1)
{17,16} (-1)
{28,16} (-1)
{18,17} (-1)
{29,17} (-1)
{19,18} (-1)
{30,18} (-1)
{20,19} (-1)
{31,19} (-1)
{21,20} (-1)
{32,20} (-1)
{22,21} (-1)
{33,21} (-1)
{23,22} (-1)
{34,22} (-1)
{25,24} (-1)
{36,24} (-1)
{26,25} (-1)
{37,25} (-1)
{27,26} (-1)
{38,26} (-1)
{28,27} (-1)
{39,27} (-1)
{29,28} (-1)
{40,28} (-1)
{30,29} (-1)
{41,29} (-1)
{31,30} (-1)
{42,30} (-1)
{32,31} (-1)
{43,31} (-1)
{33,32} (-1)
{44,32} (-1)
{34,33} (-1)
{45,33} (-1)
{35,34} (-1)
{46,34} (-1)
{37,36} (-1)
{48,36} (-1)
{38,37} (-1)
{49,37} (-1)
{39,38} (-1)
{50,38} (-1)
{40,39} (-1)
{51,39} (-1)
{41,40} (-1)
{52,40} (-1)
{42,41} (-1)
{53,41} (-1)
{43,42} (-1)
{54,42} (-1)
{44,43} (-1)
{55,43} (-1)
{45,44} (-1)
{56,44} (-1)
{46,45} (-1)
{57,45} (-1)
{47,46} (-1)
{58,46} (-1)
{49,48} (-1)
{60,48} (-1)
{50,49} (-1)
{61,49} (-1)
{51,50} (-1)
{62,50} (-1)
{52,51} (-1)
{63,51} (-1)
{53,52} (-1)
{64,52} (-1)
{54,53} (-1)
{65,53} (-1)
{55,54} (-1)
{66,54} (-1)
{56,55} (-1)
{67,55} (-1)
{57,56} (-1)
{68,56} (-1)
{58,57} (-1)
{69,57} (-1)
{59,58} (-1)
{70,58} (-1)
{61,60} (-1)
{72,60} (-1)
{62,61} (-1)
{73,61} (-1)
{63,62} (-1)
{74,62} (-1)
{64,63} (-1)
{75,63} (-1)
{65,64} (-1)
{76,64} (-1)
{66,65} (-1)
{77,65} (-1)
{67,66} (-1)
{78,66} (-1)
{68,67} (-1)
{79,67} (-1)
{69,68} (-1)
{80,68} (-1)
{70,69} (-1)
{81,69} (-1)
{71,70} (-1)
{82,70} (-1)
{73,72} (-1)
{84,72} (-1)
{74,73} (-1)
{85,73} (-1)
{75,74} (-1)
{86,74} (-1)
{76,75} (-1)
{87,75} (-1)
{77,76} (-1)
{88,76} (-1)
{78,77} (-1)
{89,77} (-1)
{79,78} (-1)
{90,78} (-1)
{80,79} (-1)
{91,79} (-1)
{81,80} (-1)
{92,80} (-1)
{82,81} (-1)
{93,81} (-1)
{83,82} (-1)
{94,82} (-1)
{85,84} (-1)
{96,84} (-1)
{86,85} (-1)
{97,85} (-1)
{87,86} (-1)
{98,86} (-1)
{88,87} (-1)
{99,87} (-1)
{89,88} (-1)
{100,88} (-1)
{90,89} (-1)
{101,89} (-1)
{91,90} (-1)
{102,90} (-1)
{92,91} (-1)
{103,91} (-1)
{93,92} (-1)
{104,92} (-1)
{94,93} (-1)
{105,93} (-1)
{95,94} (-1)
{106,94} (-1)
{97,96} (-1)
{108,96} (-1)
{98,97} (-1)
{109,97} (-1)
{99,98} (-1)
{110,98} (-1)
{100,99} (-1)
{111,99} (-1)
{101,100} (-1)
{112,100} (-1)
{102,101} (-1)
{113,101} (-1)
{103,102} (-1)
{114,102} (-1)
{104,103} (-1)
{115,103} (-1)
{105,104} (-1)
{116,104} (-1)
{106,105} (-1)
{117,105} (-1)
{107,106} (-1)
{118,106} (-1)
{109,108} (-1)
{120,108} (-1)
{110,109} (-1)
{121,109} (-1)
{111,110} (-1)
{122,110} (-1)
{112,111} (-1)
{123,111} (-1)
{113,112} (-1)
{124,112} (-1)
{114,113} (-1)
{125,113} (-1)
{115,114} (-1)
{126,114} (-1)
{116,115} (-1)
{127,115} (-1)
{117,116} (-1)
{128,116} (-1)
{118,117} (-1)
{129,117} (-1)
{119,118} (-1)
{130,118} (-1)
{121,120} (-1)
{132,120} (-1)
{122,121} (-1)
{133,121} (-1)
{123,122} (-1)
{134,122} (-1)
{124,123} (-1)
{135,123} (-1)
{125,124} (-1)
{136,124} (-1)
{126,125} (-1)
{137,125} (-1)
{127,126} (-1)
{138,126} (-1)
{128,127} (-1)
{139,127} (-1)
{129,128} (-1)
{140,128} (-1)
{130,129} (-1)
{141,129} (-1)
{131,130} (-1)
{142,130} (-1)
{23,11} (-1)
{35,23} (-1)
{47,35} (-1)
{59,47} (-1)
{71,59} (-1)
{83,71} (-1)
{95,83} (-1)
{107,95} (-1)
{119,107} (-1)
{131,119} (-1)
{143,131} (-1)
{133,132} (-1)
{134,133} (-1)
{135,134} (-1)
{136,135} (-1)
{137,136} (-1)
{138,137} (-1)
{139,138} (-1)
{140,139} (-1)
{141,140} (-1)
{142,141} (-1)
{143,142} (-1)