V =
(0:-1)[0:0:0]
(1:-1)[0:0:0]
(2:-1)[0:0:0]
(3:-1)[0:0:0]
(4:-1)[0:0:0]
(5:-1)[0:0:0]
(6:-1)[0:0:0]
(7:-1)[0:0:0]
(8:-1)[0:0:0]
(9:-1)[0:0:0]
(10:-1)[0:0:0]
(11:-1)[0:0:0]
(12:-1)[0:0:0]
(13:-1)[0:0:0]
(14:-1)[0:0:0]
(15:-1)[0:0:0]
(16:-1)[0:0:0]
(17:-1)[0:0:0]
(18:-1)[0:0:0]
(19:-1)[0:0:0]
(20:-1)[1:0:0]
(21:-1)[0:0:0]
(22:-1)[0:0:0]
(23:-1)[0:0:0]
(24:-1)[0:0:0]
(25:-1)[0:0:0]
(26:-1)[0:0:0]
(27:-1)[0:0:0]
(28:-1)[0:0:0]
(29:-1)[0:4:4]
(30:-1)[0:0:0]
(31:-1)[0:0:0]
(32:-1)[0:0:0]
(33:-1)[0:0:0]
(34:-1)[0:0:0]
(35:-1)[0:0:0]
(36:-1)[0:0:0]
(37:-1)[0:0:0]
(38:-1)[0:0:0]
(39:-1)[0:0:0]
(40:-1)[0:1:1]
(41:-1)[0:0:0]
(42:-1)[6:0:0]
(43:-1)[0:0:0]
(44:-1)[0:0:0]
(45:-1)[0:0:0]
(46:-1)[0:0:0]
(47:-1)[0:0:0]
(48:-1)[7:0:0]
(49:-1)[0:0:0]
(50:-1)[0:0:0]
(51:-1)[0:0:0]
(52:-1)[0:0:0]
(53:-1)[0:0:0]
(54:-1)[0:3:3]
(55:-1)[0:0:0]
(56:-1)[0:0:0]
(57:-1)[0:0:0]
(58:-1)[0:0:0]
(59:-1)[0:0:0]
(60:-1)[0:0:0]
(61:-1)[0:0:0]
(62:-1)[0:0:0]
(63:-1)[0:0:0]
(64:-1)[0:0:0]
(65:-1)[0:0:0]
(66:-1)[0:0:0]
(67:-1)[0:0:0]
(68:-1)[0:0:0]
(69:-1)[0:0:0]
(70:-1)[0:0:0]
(71:-1)[0:0:0]
(72:-1)[0:0:0]
(73:-1)[0:0:0]
(74:-1)[0:0:0]
(75:-1)[0:0:0]
(76:-1)[0:0:0]
(77:-1)[0:0:0]
(78:-1)[0:0:0]
(79:-1)[0:0:0]
(80:-1)[0:0:0]
(81:-1)[0:0:0]
(82:-1)[0:0:0]
(83:-1)[0:0:0]
(84:-1)[0:0:0]
(85:-1)[0:0:0]
(86:-1)[0:5:5]
(87:-1)[0:0:0]
(88:-1)[0:0:0]
(89:-1)[0:0:0]
(90:-1)[0:0:0]
(91:-1)[0:0:0]
(92:-1)[0:0:0]
(93:-1)[0:2:2]
(94:-1)[0:0:0]
(95:-1)[0:0:0]
(96:-1)[0:0:0]
(97:-1)[0:0:0]
(98:-1)[0:0:0]
(99:-1)[0:0:0]
(100:-1)[0:0:0]
(101:-1)[0:0:0]
(102:-1)[0:0:0]
(103:-1)[0:0:0]
(104:-1)[0:0:0]
(105:-1)[0:0:0]
(106:-1)[0:0:0]
(107:-1)[0:0:0]
(108:-1)[0:0:0]
(109:-1)[0:0:0]
(110:-1)[0:0:0]
(111:-1)[0:0:0]
(112:-1)[0:0:0]
(113:-1)[0:0:0]
(114:-1)[0:0:0]
(115:-1)[0:0:0]
(116:-1)[0:0:0]
(117:-1)[2:0:0]
(118:-1)[0:0:0]
(119:-1)[0:0:0]
(120:-1)[0:0:0]
(121:-1)[0:0:0]
(122:-1)[0:0:0]
(123:-1)[0:0:0]
(124:-1)[0:0:0]
(125:-1)[0:0:0]
(126:-1)[0:0:0]
(127:-1)[0:0:0]
(128:-1)[0:0:0]
(129:-1)[0:0:0]
(130:-1)[0:0:0]
(131:-1)[0:0:0]
(132:-1)[0:0:0]
(133:-1)[0:0:0]
(134:-1)[0:0:0]
(135:-1)[0:0:0]
(136:-1)[0:0:0]
(137:-1)[0:0:0]
(138:-1)[0:0:0]
(139:-1)[0:7:7]
(140:-1)[0:0:0]
(141:-1)[0:0:0]
(142:-1)[0:0:0]
(143:-1)[0:0:0]
(144:-1)[0:0:0]
(145:-1)[0:0:0]
(146:-1)[0:0:0]
(147:-1)[0:0:0]
(148:-1)[0:0:0]
(149:-1)[0:0:0]
(150:-1)[0:0:0]
(151:-1)[0:0:0]
(152:-1)[0:0:0]
(153:-1)[0:0:0]
(154:-1)[0:0:0]
(155:-1)[0:0:0]
(156:-1)[0:0:0]
(157:-1)[0:0:0]
(158:-1)[0:6:6]
(159:-1)[0:0:0]
(160:-1)[0:0:0]
(161:-1)[0:0:0]
(162:-1)[0:0:0]
(163:-1)[0:0:0]
(164:-1)[5:0:0]
(165:-1)[0:0:0]
(166:-1)[0:0:0]
(167:-1)[0:0:0]
(168:-1)[0:0:0]
(169:-1)[0:0:0]
(170:-1)[0:0:0]
(171:-1)[0:0:0]
(172:-1)[0:0:0]
(173:-1)[0:0:0]
(174:-1)[0:0:0]
(175:-1)[0:0:0]
(176:-1)[0:0:0]
(177:-1)[0:0:0]
(178:-1)[0:0:0]
(179:-1)[0:0:0]
(180:-1)[0:0:0]
(181:-1)[0:0:0]
(182:-1)[0:0:0]
(183:-1)[0:0:0]
(184:-1)[0:0:0]
(185:-1)[0:0:0]
(186:-1)[0:0:0]
(187:-1)[0:0:0]
(188:-1)[0:0:0]
(189:-1)[0:0:0]
(190:-1)[0:0:0]
(191:-1)[0:0:0]
(192:-1)[3:0:0]
(193:-1)[0:0:0]
(194:-1)[0:0:0]
(195:-1)[0:0:0]
(196:-1)[0:0:0]
(197:-1)[0:0:0]
(198:-1)[0:0:0]
(199:-1)[0:0:0]
(200:-1)[0:0:0]
(201:-1)[0:0:0]
(202:-1)[0:0:0]
(203:-1)[0:0:0]
(204:-1)[0:0:0]
(205:-1)[0:0:0]
(206:-1)[0:0:0]
(207:-1)[0:0:0]
(208:-1)[0:0:0]
(209:-1)[0:0:0]
(210:-1)[0:0:0]
(211:-1)[0:0:0]
(212:-1)[0:0:0]
(213:-1)[0:0:0]
(214:-1)[0:0:0]
(215:-1)[0:0:0]
(216:-1)[0:0:0]
(217:-1)[0:0:0]
(218:-1)[0:0:0]
(219:-1)[0:0:0]
(220:-1)[0:0:0]
(221:-1)[0:0:0]
(222:-1)[0:0:0]
(223:-1)[0:0:0]
(224:-1)[0:0:0]
(225:-1)[0:0:0]
(226:-1)[0:0:0]
(227:-1)[0:0:0]
(228:-1)[0:0:0]
(229:-1)[0:0:0]
(230:-1)[0:0:0]
(231:-1)[0:0:0]
(232:-1)[4:0:0]
(233:-1)[0:0:0]
E =
{1,0} (-1)
{16,0} (-1)
{2,1} (-1)
{17,1} (-1)
{3,2} (-1)
{18,2} (-1)
{4,3} (-1)
{19,3} (-1)
{5,4} (-1)
{6,5} (-1)
{20,5} (-1)
{7,6} (-1)
{21,6} (-1)
{8,7} (-1)
{22,7} (-1)
{9,8} (-1)
{23,8} (-1)
{10,9} (-1)
{24,9} (-1)
{11,10} (-1)
{25,10} (-1)
{12,11} (-1)
{26,11} (-1)
{13,12} (-1)
{27,12} (-1)
{14,13} (-1)
{28,13} (-1)
{15,14} (-1)
{29,14} (-1)
{17,16} (-1)
{31,16} (-1)
{18,17} (-1)
{32,17} (-1)
{19,18} (-1)
{33,18} (-1)
{34,19} (-1)
{21,20} (-1)
{36,20} (-1)
{22,21} (-1)
{37,21} (-1)
{23,22} (-1)
{38,22} (-1)
{24,23} (-1)
{39,23} (-1)
{25,24} (-1)
{40,24} (-1)
{26,25} (-1)
{41,25} (-1)
{27,26} (-1)
{42,26} (-1)
{28,27} (-1)
{43,27} (-1)
{29,28} (-1)
{44,28} (-1)
{30,29} (-1)
{45,29} (-1)
{32,31} (-1)
{33,32} (-1)
{47,32} (-1)
{34,33} (-1)
{48,33} (-1)
{35,34} (-1)
{36,35} (-1)
{49,35} (-1)
{37,36} (-1)
{50,36} (-1)
{38,37} (-1)
{51,37} (-1)
{39,38} (-1)
{52,38} (-1)
{40,39} (-1)
{41,40} (-1)
{42,41} (-1)
{53,41} (-1)
{43,42} (-1)
{44,43} (-1)
{54,43} (-1)
{45,44} (-1)
{55,44} (-1)
{46,45} (-1)
{56,45} (-1)
{48,47} (-1)
{59,47} (-1)
{60,48} (-1)
{50,49} (-1)
{62,49} (-1)
{51,50} (-1)
{63,50} (-1)
{52,51} (-1)
{64,51} (-1)
{67,53} (-1)
{55,54} (-1)
{69,54} (-1)
{56,55} (-1)
{70,55} (-1)
{57,56} (-1)
{71,56} (-1)
{59,58} (-1)
{73,58} (-1)
{60,59} (-1)
{74,59} (-1)
{61,60} (-1)
{75,60} (-1)
{62,61} (-1)
{76,61} (-1)
{63,62} (-1)
{77,62} (-1)
{64,63} (-1)
{78,63} (-1)
{79,64} (-1)
{66,65} (-1)
{81,65} (-1)
{67,66} (-1)
{82,66} (-1)
{68,67} (-1)
{83,67} (-1)
{69,68} (-1)
{84,68} (-1)
{70,69} (-1)
{85,69} (-1)
{71,70} (-1)
{86,70} (-1)
{72,71} (-1)
{87,71} (-1)
{74,73} (-1)
{89,73} (-1)
{75,74} (-1)
{90,74} (-1)
{76,75} (-1)
{91,75} (-1)
{77,76} (-1)
{92,76} (-1)
{78,77} (-1)
{93,77} (-1)
{79,78} (-1)
{94,78} (-1)
{80,79} (-1)
{95,79} (-1)
{81,80} (-1)
{96,80} (-1)
{82,81} (-1)
{97,81} (-1)
{83,82} (-1)
{98,82} (-1)
{84,83} (-1)
{99,83} (-1)
{85,84} (-1)
{100,84} (-1)
{86,85} (-1)
{101,85} (-1)
{87,86} (-1)
{102,86} (-1)
{88,87} (-1)
{103,87} (-1)
{90,89} (-1)
{105,89} (-1)
{91,90} (-1)
{106,90} (-1)
{92,91} (-1)
{107,91} (-1)
{93,92} (-1)
{108,92} (-1)
{94,93} (-1)
{109,93} (-1)
{95,94} (-1)
{110,94} (-1)
{96,95} (-1)
{111,95} (-1)
{97,96} (-1)
{112,96} (-1)
{98,97} (-1)
{113,97} (-1)
{99,98} (-1)
{114,98} (-1)
{100,99} (-1)
{115,99} (-1)
{101,100} (-1)
{116,100} (-1)
{102,101} (-1)
{117,101} (-1)
{103,102} (-1)
{118,102} (-1)
{104,103} (-1)
{119,103} (-1)
{106,105} (-1)
{121,105} (-1)
{107,106} (-1)
{122,106} (-1)
{108,107} (-1)
{123,107} (-1)
{109,108} (-1)
{124,108} (-1)
{110,109} (-1)
{125,109} (-1)
{111,110} (-1)
{126,110} (-1)
{112,111} (-1)
{127,111} (-1)
{113,112} (-1)
{128,112} (-1)
{114,113} (-1)
{129,113} (-1)
{115,114} (-1)
{130,114} (-1)
{116,115} (-1)
{131,115} (-1)
{117,116} (-1)
{132,116} (-1)
{118,117} (-1)
{119,118} (-1)
{133,118} (-1)
{120,119} (-1)
{122,121} (-1)
{135,121} (-1)
{123,122} (-1)
{136,122} (-1)
{124,123} (-1)
{137,123} (-1)
{125,124} (-1)
{138,124} (-1)
{126,125} (-1)
{139,125} (-1)
{127,126} (-1)
{140,126} (-1)
{128,127} (-1)
{141,127} (-1)
{129,128} (-1)
{142,128} (-1)
{130,129} (-1)
{131,130} (-1)
{143,130} (-1)
{132,131} (-1)
{144,131} (-1)
{145,133} (-1)
{136,135} (-1)
{148,135} (-1)
{137,136} (-1)
{149,136} (-1)
{138,137} (-1)
{139,138} (-1)
{150,138} (-1)
{140,139} (-1)
{151,139} (-1)
{141,140} (-1)
{152,140} (-1)
{142,141} (-1)
{153,141} (-1)
{154,142} (-1)
{144,143} (-1)
{156,144} (-1)
{146,145} (-1)
{157,145} (-1)
{147,146} (-1)
{158,146} (-1)
{149,148} (-1)
{160,148} (-1)
{161,149} (-1)
{151,150} (-1)
{163,150} (-1)
{152,151} (-1)
{164,151} (-1)
{153,152} (-1)
{165,152} (-1)
{154,153} (-1)
{166,153} (-1)
{155,154} (-1)
{167,154} (-1)
{168,155} (-1)
{169,156} (-1)
{158,157} (-1)
{172,157} (-1)
{159,158} (-1)
{173,158} (-1)
{161,160} (-1)
{175,160} (-1)
{162,161} (-1)
{176,161} (-1)
{163,162} (-1)
{164,163} (-1)
{177,163} (-1)
{165,164} (-1)
{178,164} (-1)
{166,165} (-1)
{179,165} (-1)
{167,166} (-1)
{180,166} (-1)
{168,167} (-1)
{181,167} (-1)
{182,168} (-1)
{170,169} (-1)
{184,169} (-1)
{171,170} (-1)
{185,170} (-1)
{172,171} (-1)
{186,171} (-1)
{173,172} (-1)
{187,172} (-1)
{174,173} (-1)
{188,173} (-1)
{176,175} (-1)
{190,175} (-1)
{178,177} (-1)
{192,177} (-1)
{179,178} (-1)
{193,178} (-1)
{180,179} (-1)
{194,179} (-1)
{181,180} (-1)
{195,180} (-1)
{182,181} (-1)
{196,181} (-1)
{183,182} (-1)
{197,182} (-1)
{184,183} (-1)
{198,183} (-1)
{185,184} (-1)
{186,185} (-1)
{199,185} (-1)
{187,186} (-1)
{200,186} (-1)
{188,187} (-1)
{201,187} (-1)
{189,188} (-1)
{202,188} (-1)
{204,190} (-1)
{192,191} (-1)
{206,191} (-1)
{193,192} (-1)
{207,192} (-1)
{194,193} (-1)
{208,193} (-1)
{195,194} (-1)
{209,194} (-1)
{196,195} (-1)
{210,195} (-1)
{197,196} (-1)
{211,196} (-1)
{198,197} (-1)
{212,197} (-1)
{213,198} (-1)
{200,199} (-1)
{201,200} (-1)
{215,200} (-1)
{202,201} (-1)
{216,201} (-1)
{203,202} (-1)
{217,202} (-1)
{205,204} (-1)
{219,204} (-1)
{206,205} (-1)
{220,205} (-1)
{207,206} (-1)
{221,206} (-1)
{208,207} (-1)
{222,207} (-1)
{209,208} (-1)
{223,208} (-1)
{210,209} (-1)
{224,209} (-1)
{211,210} (-1)
{225,210} (-1)
{212,211} (-1)
{213,212} (-1)
{226,212} (-1)
{214,213} (-1)
{227,213} (-1)
{228,214} (-1)
{216,215} (-1)
{230,215} (-1)
{217,216} (-1)
{231,216} (-1)
{218,217} (-1)
{232,217} (-1)
{30,15} (-1)
{46,30} (-1)
{57,46} (-1)
{72,57} (-1)
{88,72} (-1)
{104,88} (-1)
{120,104} (-1)
{134,120} (-1)
{147,134} (-1)
{159,147} (-1)
{174,159} (-1)
{189,174} (-1)
{203,189} (-1)
{218,203} (-1)
{233,218} (-1)
{220,219} (-1)
{221,220} (-1)
{222,221} (-1)
{223,222} (-1)
{224,223} (-1)
{225,224} (-1)
{227,226} (-1)
{228,227} (-1)
{229,228} (-1)
{230,229} (-1)
{231,230} (-1)
{232,231} (-1)
{233,232} (-1)