Graph forms
for C4 [ 480, 546 ] = SS[480,28]
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 480, 546 ] =
SS[480,28].
(I) Following is a form readable by MAGMA:
g:=Graph<480|{ {100, 101}, {1, 3}, {469, 471}, {9, 11}, {1, 2}, {1, 5}, {10,
14}, {9, 13}, {8, 12}, {1, 4}, {450, 455}, {99, 102}, {98, 103}, {72, 77}, {8,
14}, {10, 13}, {72, 79}, {24, 31}, {37, 45}, {469, 477}, {405, 413}, {70, 78},
{69, 77}, {38, 46}, {23, 30}, {469, 476}, {452, 461}, {451, 458}, {450, 459},
{449, 456}, {406, 415}, {340, 349}, {97, 104}, {71, 78}, {38, 47}, {211, 218},
{23, 29}, {468, 478}, {96, 106}, {69, 79}, {7, 12}, {469, 478}, {405, 414}, {7,
11}, {470, 474}, {338, 350}, {16, 29}, {470, 475}, {465, 476}, {464, 477}, {452,
457}, {451, 462}, {449, 460}, {212, 217}, {16, 30}, {470, 472}, {337, 351},
{336, 350}, {96, 110}, {339, 348}, {470, 473}, {467, 476}, {466, 477}, {6, 22},
{458, 474}, {456, 472}, {448, 464}, {335, 351}, {69, 85}, {44, 60}, {43, 59},
{15, 31}, {197, 213}, {198, 214}, {11, 26}, {463, 478}, {454, 471}, {333, 348},
{75, 90}, {74, 91}, {71, 86}, {6, 20}, {459, 473}, {457, 475}, {453, 471}, {448,
466}, {96, 114}, {74, 88}, {70, 84}, {43, 57}, {42, 56}, {32, 50}, {197, 215},
{6, 21}, {334, 349}, {74, 89}, {73, 90}, {39, 52}, {32, 51}, {11, 24}, {12, 24},
{462, 474}, {460, 472}, {69, 81}, {34, 54}, {33, 53}, {6, 19}, {76, 89}, {73,
92}, {71, 82}, {37, 48}, {12, 25}, {33, 55}, {461, 475}, {96, 118}, {70, 80},
{44, 58}, {39, 49}, {13, 26}, {76, 91}, {75, 92}, {71, 80}, {14, 25}, {35, 59},
{323, 347}, {99, 123}, {75, 83}, {73, 81}, {36, 60}, {194, 218}, {196, 220},
{198, 222}, {199, 223}, {14, 23}, {321, 344}, {197, 220}, {13, 23}, {320, 346},
{76, 86}, {40, 50}, {35, 57}, {34, 56}, {195, 217}, {40, 51}, {322, 345}, {72,
83}, {198, 221}, {41, 53}, {97, 125}, {75, 87}, {73, 85}, {42, 54}, {193, 221},
{98, 127}, {100, 121}, {36, 58}, {455, 473}, {324, 346}, {100, 122}, {76, 82},
{74, 84}, {70, 88}, {41, 55}, {197, 219}, {198, 216}, {72, 87}, {99, 124}, {97,
126}, {193, 222}, {196, 219}, {85, 117}, {90, 122}, {87, 119}, {202, 235}, {410,
443}, {407, 438}, {335, 366}, {334, 367}, {86, 116}, {398, 428}, {333, 367},
{89, 123}, {83, 112}, {410, 441}, {409, 442}, {90, 121}, {201, 234}, {202, 233},
{85, 113}, {399, 427}, {394, 430}, {327, 355}, {325, 353}, {87, 115}, {203,
239}, {89, 124}, {409, 444}, {200, 237}, {201, 236}, {94, 120}, {395, 429},
{393, 431}, {326, 352}, {199, 224}, {79, 103}, {396, 420}, {329, 353}, {323,
363}, {322, 362}, {95, 119}, {93, 117}, {199, 238}, {410, 435}, {331, 354},
{320, 361}, {200, 225}, {202, 227}, {88, 114}, {330, 352}, {328, 354}, {321,
363}, {94, 116}, {200, 226}, {31, 52}, {411, 432}, {410, 433}, {409, 434}, {93,
113}, {95, 115}, {201, 229}, {29, 48}, {409, 436}, {408, 437}, {31, 49}, {397,
419}, {324, 362}, {88, 118}, {86, 120}, {202, 228}, {15, 32}, {408, 439}, {407,
440}, {332, 355}, {95, 112}, {199, 232}, {200, 231}, {201, 230}, {208, 255},
{17, 33}, {78, 126}, {30, 46}, {29, 45}, {28, 44}, {18, 35}, {412, 429}, {411,
426}, {407, 422}, {405, 420}, {30, 47}, {204, 253}, {205, 252}, {77, 127}, {412,
430}, {389, 439}, {385, 435}, {326, 372}, {93, 111}, {17, 34}, {403, 416}, {402,
417}, {327, 372}, {95, 108}, {94, 109}, {78, 125}, {27, 40}, {20, 39}, {203,
248}, {384, 436}, {411, 431}, {406, 418}, {390, 434}, {386, 438}, {19, 38},
{412, 425}, {28, 41}, {203, 254}, {206, 251}, {18, 36}, {406, 416}, {405, 419},
{404, 418}, {391, 433}, {387, 437}, {325, 371}, {93, 107}, {28, 42}, {19, 37},
{28, 43}, {412, 427}, {411, 428}, {406, 417}, {94, 105}, {205, 250}, {206, 249},
{24, 32}, {401, 425}, {392, 432}, {340, 364}, {329, 369}, {80, 104}, {25, 33},
{205, 245}, {26, 35}, {128, 185}, {92, 101}, {22, 44}, {400, 426}, {331, 369},
{330, 368}, {84, 110}, {81, 107}, {206, 244}, {25, 34}, {328, 371}, {132, 191},
{82, 105}, {203, 240}, {204, 247}, {205, 246}, {20, 40}, {388, 440}, {337, 365},
{332, 368}, {131, 191}, {27, 39}, {21, 41}, {22, 43}, {408, 421}, {128, 189},
{91, 102}, {27, 38}, {204, 241}, {206, 243}, {26, 36}, {336, 366}, {84, 106},
{81, 111}, {27, 37}, {204, 242}, {21, 42}, {408, 423}, {407, 424}, {339, 364},
{338, 365}, {83, 108}, {82, 109}, {175, 239}, {277, 341}, {278, 342}, {279,
343}, {129, 192}, {131, 194}, {130, 195}, {172, 237}, {173, 236}, {176, 241},
{178, 243}, {129, 195}, {130, 192}, {176, 242}, {171, 232}, {180, 247}, {177,
245}, {171, 238}, {174, 235}, {132, 194}, {178, 244}, {167, 224}, {173, 234},
{174, 233}, {177, 246}, {184, 255}, {289, 361}, {302, 358}, {299, 355}, {297,
353}, {291, 363}, {168, 225}, {315, 370}, {170, 227}, {180, 253}, {181, 252},
{168, 226}, {308, 382}, {303, 357}, {301, 359}, {298, 352}, {290, 360}, {172,
231}, {179, 248}, {169, 229}, {307, 383}, {305, 381}, {288, 364}, {179, 254},
{182, 251}, {170, 228}, {316, 370}, {306, 380}, {300, 354}, {292, 362}, {169,
230}, {181, 250}, {182, 249}, {133, 213}, {415, 463}, {310, 358}, {134, 215},
{296, 378}, {309, 359}, {133, 214}, {311, 356}, {304, 356}, {317, 361}, {318,
360}, {136, 223}, {319, 360}, {413, 453}, {316, 358}, {414, 453}, {293, 377},
{315, 359}, {295, 379}, {312, 357}, {313, 356}, {134, 216}, {294, 376}, {175,
240}, {314, 357}, {141, 237}, {432, 464}, {311, 343}, {309, 341}, {277, 373},
{278, 374}, {279, 375}, {145, 240}, {422, 455}, {148, 245}, {147, 242}, {146,
243}, {142, 236}, {420, 454}, {135, 228}, {310, 341}, {141, 238}, {139, 232},
{317, 345}, {319, 347}, {140, 233}, {419, 454}, {148, 241}, {147, 246}, {145,
244}, {142, 235}, {140, 234}, {318, 344}, {135, 224}, {152, 255}, {149, 253},
{144, 249}, {282, 371}, {144, 250}, {446, 468}, {308, 350}, {150, 252}, {280,
370}, {283, 369}, {136, 227}, {149, 254}, {138, 225}, {137, 226}, {139, 231},
{447, 467}, {314, 342}, {307, 351}, {305, 349}, {284, 368}, {150, 251}, {421,
456}, {418, 463}, {281, 372}, {306, 348}, {447, 465}, {137, 230}, {424, 455},
{423, 456}, {313, 342}, {312, 343}, {138, 229}, {165, 213}, {166, 214}, {286,
366}, {443, 458}, {446, 463}, {165, 215}, {296, 346}, {285, 367}, {287, 365},
{440, 459}, {442, 457}, {441, 458}, {416, 468}, {417, 468}, {444, 457}, {143,
248}, {143, 247}, {445, 453}, {427, 467}, {426, 466}, {163, 219}, {167, 223},
{436, 461}, {437, 460}, {425, 467}, {439, 460}, {445, 454}, {161, 221}, {429,
465}, {295, 347}, {293, 345}, {146, 239}, {438, 459}, {435, 462}, {164, 217},
{160, 222}, {428, 466}, {294, 344}, {162, 220}, {164, 218}, {166, 216}, {430,
465}, {434, 461}, {433, 462}, {431, 464}, {268, 396}, {269, 397}, {272, 400},
{276, 404}, {270, 396}, {267, 397}, {275, 404}, {256, 392}, {257, 393}, {259,
395}, {282, 402}, {258, 392}, {281, 403}, {262, 394}, {280, 404}, {285, 401},
{260, 394}, {261, 395}, {286, 400}, {284, 396}, {287, 399}, {263, 403}, {283,
397}, {266, 402}, {264, 402}, {265, 403}, {274, 398}, {271, 401}, {273, 399},
{101, 196}, {102, 196}, {103, 193}, {289, 393}, {302, 390}, {300, 388}, {298,
386}, {291, 395}, {104, 193}, {290, 392}, {301, 391}, {297, 387}, {288, 398},
{303, 385}, {299, 389}, {292, 394}, {304, 384}, {101, 165}, {364, 428}, {118,
182}, {117, 181}, {110, 174}, {109, 173}, {103, 166}, {127, 190}, {125, 188},
{124, 189}, {123, 186}, {122, 187}, {119, 182}, {111, 174}, {105, 171}, {382,
444}, {122, 184}, {114, 176}, {113, 179}, {106, 168}, {102, 165}, {115, 176},
{107, 168}, {109, 169}, {383, 443}, {381, 441}, {366, 426}, {362, 430}, {118,
178}, {117, 177}, {110, 170}, {111, 170}, {127, 186}, {126, 187}, {124, 185},
{123, 190}, {121, 188}, {119, 178}, {106, 172}, {380, 442}, {367, 425}, {365,
427}, {363, 429}, {361, 431}, {126, 184}, {114, 180}, {107, 172}, {116, 179},
{115, 180}, {108, 171}, {341, 413}, {120, 177}, {343, 414}, {342, 415}, {125,
183}, {108, 167}, {77, 128}, {120, 181}, {79, 129}, {121, 183}, {105, 167},
{104, 166}, {356, 436}, {370, 418}, {80, 130}, {378, 424}, {371, 417}, {369,
419}, {353, 437}, {372, 416}, {368, 420}, {358, 434}, {355, 439}, {352, 438},
{359, 433}, {357, 435}, {360, 432}, {112, 169}, {354, 440}, {116, 175}, {377,
421}, {379, 423}, {112, 173}, {113, 175}, {376, 422}, {91, 132}, {92, 131}, {98,
128}, {350, 444}, {97, 130}, {98, 129}, {349, 441}, {351, 443}, {348, 442}, {99,
132}, {100, 131}, {373, 413}, {374, 415}, {375, 414}, {346, 424}, {345, 421},
{347, 423}, {344, 422}, {59, 306}, {58, 304}, {60, 305}, {59, 308}, {60, 307},
{51, 291}, {54, 294}, {53, 293}, {56, 297}, {50, 288}, {53, 295}, {56, 299},
{57, 301}, {63, 299}, {58, 302}, {52, 289}, {52, 290}, {63, 297}, {57, 303},
{51, 292}, {63, 296}, {63, 294}, {55, 300}, {55, 298}, {54, 296}, {62, 284},
{61, 281}, {62, 283}, {62, 280}, {61, 282}, {61, 277}, {62, 278}, {48, 281},
{48, 282}, {61, 279}, {49, 285}, {50, 286}, {49, 287}, {47, 284}, {47, 283},
{46, 280}, {45, 277}, {46, 278}, {45, 279}, {219, 401}, {220, 400}, {222, 398},
{221, 399}, {68, 285}, {68, 287}, {67, 286}, {67, 291}, {67, 288}, {64, 293},
{68, 289}, {68, 290}, {64, 295}, {67, 292}, {64, 298}, {64, 300}, {239, 387},
{66, 303}, {65, 302}, {66, 301}, {65, 305}, {66, 306}, {243, 387}, {245, 389},
{65, 304}, {65, 307}, {240, 386}, {246, 388}, {241, 389}, {66, 308}, {242, 388},
{244, 386}, {247, 385}, {255, 393}, {254, 390}, {248, 385}, {249, 384}, {250,
384}, {252, 391}, {253, 390}, {251, 391}, {159, 276}, {159, 275}, {238, 382},
{155, 266}, {157, 268}, {155, 264}, {157, 270}, {158, 269}, {164, 311}, {236,
383}, {237, 382}, {235, 383}, {151, 258}, {156, 265}, {158, 267}, {232, 381},
{233, 380}, {234, 380}, {151, 256}, {224, 376}, {226, 378}, {152, 257}, {154,
259}, {225, 379}, {227, 377}, {231, 381}, {156, 263}, {164, 312}, {228, 376},
{230, 378}, {153, 260}, {229, 379}, {153, 262}, {154, 261}, {213, 373}, {215,
374}, {149, 310}, {150, 309}, {159, 316}, {214, 373}, {159, 315}, {152, 317},
{223, 377}, {144, 311}, {151, 319}, {144, 313}, {151, 318}, {149, 316}, {163,
271}, {150, 315}, {191, 274}, {218, 375}, {191, 273}, {216, 374}, {217, 375},
{16, 447}, {133, 309}, {161, 273}, {15, 446}, {15, 445}, {160, 274}, {162, 272},
{133, 310}, {183, 260}, {187, 264}, {189, 270}, {190, 269}, {10, 447}, {143,
314}, {138, 319}, {136, 317}, {143, 312}, {183, 256}, {187, 268}, {188, 267},
{189, 266}, {190, 265}, {7, 446}, {135, 318}, {7, 445}, {184, 259}, {185, 258},
{186, 257}, {188, 263}, {134, 314}, {134, 313}, {185, 262}, {186, 261}, {140,
333}, {142, 335}, {211, 274}, {211, 273}, {207, 267}, {212, 272}, {139, 334},
{135, 321}, {211, 276}, {212, 275}, {9, 449}, {207, 263}, {22, 479}, {138, 323},
{137, 320}, {10, 448}, {136, 322}, {21, 479}, {8, 451}, {9, 450}, {207, 260},
{8, 452}, {137, 324}, {192, 271}, {207, 256}, {16, 448}, {18, 450}, {192, 272},
{195, 275}, {157, 332}, {17, 451}, {18, 449}, {155, 328}, {148, 327}, {208,
259}, {209, 258}, {210, 257}, {2, 471}, {17, 452}, {158, 331}, {194, 276}, {145,
326}, {146, 325}, {157, 330}, {158, 329}, {209, 262}, {210, 261}, {5, 477},
{152, 320}, {148, 332}, {147, 331}, {208, 264}, {5, 476}, {154, 323}, {3, 473},
{5, 479}, {156, 326}, {3, 472}, {154, 321}, {153, 322}, {147, 328}, {146, 329},
{145, 330}, {156, 327}, {209, 266}, {210, 265}, {212, 271}, {2, 478}, {208,
268}, {2, 479}, {153, 324}, {141, 336}, {4, 474}, {155, 325}, {4, 475}, {142,
337}, {141, 338}, {140, 339}, {139, 340}, {209, 270}, {210, 269}, {3, 480}, {4,
480}, {162, 335}, {163, 334}, {163, 333}, {161, 337}, {162, 336}, {19, 480},
{160, 339}, {161, 338}, {20, 480}, {160, 340} }>;
(II) A more general form is to represent the graph as the orbit of {100, 101}
under the group generated by the following permutations:
a: (31, 32)(39, 40)(49, 50)(51, 52)(67, 68)(105, 109)(106, 110)(107, 111)(108,
112)(135, 137)(136, 138)(139, 142)(140, 141)(151, 153)(152, 154)(160, 161)(162,
163)(167, 169)(168, 170)(171, 173)(172, 174)(199, 201)(200, 202)(219, 220)(221,
222)(223, 229)(224, 230)(225, 227)(226, 228)(231, 235)(232, 236)(233, 237)(234,
238)(255, 259)(256, 260)(257, 261)(258, 262)(271, 272)(273, 274)(285, 286)(287,
288)(289, 291)(290, 292)(293, 295)(294, 296)(305, 307)(306, 308)(317, 323)(318,
324)(319, 322)(320, 321)(333, 336)(334, 335)(337, 340)(338, 339)(344, 346)(345,
347)(348, 350)(349, 351)(360, 362)(361, 363)(364, 365)(366, 367)(376, 378)(377,
379)(380, 382)(381, 383)(392, 394)(393, 395)(398, 399)(400, 401)(411, 412)(421,
423)(422, 424)(425, 426)(427, 428)(429, 431)(430, 432)(441, 443)(442, 444)(447,
448)(464, 465)(466, 467)(476, 477) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (35, 36)(43, 44)(57, 58)(59, 60)(65, 66)(105, 109)(106, 110)(107, 111)(108,
112)(113, 117)(114, 118)(115, 119)(116, 120)(121, 122)(123, 124)(125, 126)(127,
128)(135, 137)(136, 138)(139, 140)(141, 142)(143, 144)(145, 147)(146, 148)(149,
150)(151, 152)(153, 154)(155, 156)(157, 158)(167, 169)(168, 170)(171, 173)(172,
174)(175, 177)(176, 178)(179, 181)(180, 182)(183, 184)(185, 186)(187, 188)(189,
190)(199, 201)(200, 202)(203, 205)(204, 206)(207, 208)(209, 210)(223, 229)(224,
230)(225, 227)(226, 228)(231, 233)(232, 234)(235, 237)(236, 238)(239, 245)(240,
246)(241, 243)(242, 244)(247, 249)(248, 250)(251, 253)(252, 254)(255, 256)(257,
258)(259, 260)(261, 262)(263, 264)(265, 266)(267, 268)(269, 270)(281, 282)(283,
284)(289, 290)(291, 292)(293, 295)(294, 296)(297, 299)(298, 300)(301, 302)(303,
304)(305, 306)(307, 308)(309, 310)(311, 312)(313, 314)(315, 316)(317, 319)(318,
320)(321, 324)(322, 323)(325, 327)(326, 328)(329, 332)(330, 331)(333, 334)(335,
336)(337, 338)(339, 340)(344, 346)(345, 347)(348, 349)(350, 351)(352, 354)(353,
355)(356, 357)(358, 359)(360, 361)(362, 363)(368, 369)(371, 372)(376, 378)(377,
379)(380, 381)(382, 383)(384, 385)(386, 388)(387, 389)(390, 391)(392, 393)(394,
395)(396, 397)(402, 403)(409, 410)(416, 417)(419, 420)(421, 423)(422, 424)(429,
430)(431, 432)(433, 434)(435, 436)(437, 439)(438, 440)(441, 442)(443, 444)(451,
452)(457, 458)(461, 462)(474, 475)
c: (69, 70)(71, 72)(73, 74)(75, 76)(77, 78)(79, 80)(81, 84)(82, 83)(85, 88)(86,
87)(89, 90)(91, 92)(93, 96)(94, 95)(97, 98)(99, 100)(101, 102)(103, 104)(105,
108)(106, 107)(109, 112)(110, 111)(113, 114)(115, 116)(117, 118)(119, 120)(121,
124)(122, 123)(125, 128)(126, 127)(129, 130)(131, 132)(145, 147)(146, 148)(155,
156)(157, 158)(175, 176)(177, 178)(179, 180)(181, 182)(183, 185)(184, 186)(187,
190)(188, 189)(203, 204)(205, 206)(207, 209)(208, 210)(239, 241)(240, 242)(243,
245)(244, 246)(247, 248)(249, 250)(251, 252)(253, 254)(255, 257)(256, 258)(259,
261)(260, 262)(263, 266)(264, 265)(267, 270)(268, 269)(281, 282)(283, 284)(297,
299)(298, 300)(325, 327)(326, 328)(329, 332)(330, 331)(352, 354)(353, 355)(368,
369)(371, 372)(386, 388)(387, 389)(396, 397)(402, 403)(416, 417)(419, 420)(437,
439)(438, 440)
d: (69, 71)(70, 72)(73, 76)(74, 75)(77, 78)(79, 80)(81, 82)(83, 84)(85, 86)(87,
88)(89, 90)(91, 92)(93, 94)(95, 96)(97, 98)(99, 100)(101, 102)(103, 104)(105,
107)(106, 108)(109, 111)(110, 112)(113, 116)(114, 115)(117, 120)(118, 119)(121,
123)(122, 124)(125, 127)(126, 128)(129, 130)(131, 132)(135, 137)(136, 138)(151,
152)(153, 154)(167, 168)(169, 170)(171, 172)(173, 174)(183, 186)(184, 185)(187,
189)(188, 190)(199, 200)(201, 202)(207, 210)(208, 209)(223, 225)(224, 226)(227,
229)(228, 230)(231, 232)(233, 234)(235, 236)(237, 238)(255, 258)(256, 257)(259,
262)(260, 261)(263, 265)(264, 266)(267, 269)(268, 270)(289, 290)(291, 292)(293,
295)(294, 296)(317, 319)(318, 320)(321, 324)(322, 323)(344, 346)(345, 347)(360,
361)(362, 363)(376, 378)(377, 379)(392, 393)(394, 395)(421, 423)(422, 424)(429,
430)(431, 432)
e: (69, 73)(70, 74)(71, 76)(72, 75)(77, 90)(78, 89)(79, 92)(80, 91)(97, 99)(98,
100)(101, 129)(102, 130)(103, 131)(104, 132)(113, 117)(114, 118)(115, 119)(116,
120)(121, 128)(122, 127)(123, 126)(124, 125)(133, 164)(134, 159)(143, 150)(144,
149)(145, 147)(146, 148)(155, 156)(157, 158)(165, 195)(166, 194)(175, 177)(176,
178)(179, 181)(180, 182)(183, 185)(184, 186)(187, 190)(188, 189)(191, 193)(192,
196)(197, 212)(198, 211)(203, 205)(204, 206)(207, 209)(208, 210)(213, 217)(214,
218)(215, 275)(216, 276)(219, 271)(220, 272)(221, 273)(222, 274)(239, 245)(240,
246)(241, 243)(242, 244)(247, 251)(248, 252)(249, 253)(250, 254)(255, 257)(256,
258)(259, 261)(260, 262)(263, 266)(264, 265)(267, 270)(268, 269)(277, 279)(278,
280)(281, 282)(283, 284)(297, 299)(298, 300)(301, 303)(302, 304)(309, 312)(310,
311)(313, 316)(314, 315)(325, 327)(326, 328)(329, 332)(330, 331)(341, 343)(342,
370)(352, 354)(353, 355)(356, 358)(357, 359)(368, 369)(371, 372)(373, 375)(374,
404)(384, 390)(385, 391)(386, 388)(387, 389)(396, 397)(402, 403)(413, 414)(415,
418)(416, 417)(419, 420)(433, 435)(434, 436)(437, 439)(438, 440)
f: (2, 5)(7, 10)(11, 13)(12, 14)(15, 16)(19, 20)(23, 24)(29, 31)(30, 32)(37,
39)(38, 40)(45, 49)(46, 50)(47, 51)(48, 52)(53, 55)(54, 56)(57, 59)(58, 60)(61,
68)(62, 67)(70, 71)(74, 76)(81, 85)(82, 88)(83, 87)(84, 86)(94, 96)(103,
129)(104, 130)(105, 114)(106, 116)(107, 113)(108, 115)(109, 118)(110, 120)(111,
117)(112, 119)(123, 124)(127, 128)(133, 163)(134, 162)(135, 148)(136, 147)(137,
146)(138, 145)(139, 149)(140, 150)(141, 143)(142, 144)(151, 156)(152, 155)(153,
158)(154, 157)(159, 160)(161, 164)(165, 196)(166, 192)(167, 176)(168, 175)(169,
178)(170, 177)(171, 180)(172, 179)(173, 182)(174, 181)(183, 188)(184, 187)(185,
190)(186, 189)(191, 194)(193, 195)(198, 212)(199, 204)(200, 203)(201, 206)(202,
205)(209, 210)(213, 219)(214, 271)(215, 220)(216, 272)(217, 221)(218, 273)(222,
275)(223, 242)(224, 241)(225, 240)(226, 239)(227, 246)(228, 245)(229, 244)(230,
243)(231, 254)(232, 253)(233, 252)(234, 251)(235, 250)(236, 249)(237, 248)(238,
247)(255, 264)(256, 263)(257, 266)(258, 265)(259, 268)(260, 267)(261, 270)(262,
269)(274, 276)(277, 285)(278, 286)(279, 287)(280, 288)(281, 290)(282, 289)(283,
292)(284, 291)(293, 300)(294, 299)(295, 298)(296, 297)(301, 306)(302, 305)(303,
308)(304, 307)(309, 333)(310, 334)(311, 337)(312, 338)(313, 335)(314, 336)(315,
339)(316, 340)(317, 328)(318, 327)(319, 326)(320, 325)(321, 332)(322, 331)(323,
330)(324, 329)(341, 367)(342, 366)(343, 365)(344, 355)(345, 354)(346, 353)(347,
352)(348, 359)(349, 358)(350, 357)(351, 356)(360, 372)(361, 371)(362, 369)(363,
368)(364, 370)(373, 401)(374, 400)(375, 399)(376, 389)(377, 388)(378, 387)(379,
386)(380, 391)(381, 390)(382, 385)(383, 384)(392, 403)(393, 402)(394, 397)(395,
396)(398, 404)(405, 412)(406, 411)(407, 408)(409, 410)(413, 425)(414, 427)(415,
426)(416, 432)(417, 431)(418, 428)(419, 430)(420, 429)(421, 440)(422, 439)(423,
438)(424, 437)(433, 442)(434, 441)(435, 444)(436, 443)(445, 447)(446, 448)(449,
450)(451, 452)(453, 467)(454, 465)(455, 460)(456, 459)(457, 462)(458, 461)(463,
466)(464, 468)(471, 476)(472, 473)(474, 475)(477, 478)
g: (1, 6)(2, 19)(3, 21)(4, 22)(5, 20)(7, 23)(8, 26)(9, 25)(10, 24)(11, 14)(12,
13)(15, 16)(17, 18)(27, 469)(28, 470)(29, 445)(30, 446)(31, 448)(32, 447)(33,
450)(34, 449)(35, 452)(36, 451)(37, 471)(38, 478)(39, 477)(40, 476)(41, 473)(42,
472)(43, 475)(44, 474)(45, 453)(46, 463)(47, 468)(48, 454)(49, 466)(50, 467)(51,
465)(52, 464)(53, 455)(54, 456)(55, 459)(56, 460)(57, 461)(58, 462)(59, 457)(60,
458)(61, 405)(62, 406)(63, 408)(64, 407)(65, 410)(66, 409)(67, 412)(68,
411)(105, 109)(106, 110)(107, 111)(108, 112)(113, 117)(114, 118)(115, 119)(116,
120)(135, 138)(136, 137)(139, 142)(140, 141)(143, 144)(145, 147)(146, 148)(149,
150)(155, 157)(156, 158)(160, 161)(162, 163)(167, 169)(168, 170)(171, 173)(172,
174)(175, 177)(176, 178)(179, 181)(180, 182)(199, 201)(200, 202)(203, 205)(204,
206)(219, 220)(221, 222)(223, 230)(224, 229)(225, 228)(226, 227)(231, 235)(232,
236)(233, 237)(234, 238)(239, 245)(240, 246)(241, 243)(242, 244)(247, 249)(248,
250)(251, 253)(252, 254)(263, 267)(264, 268)(265, 269)(266, 270)(271, 272)(273,
274)(277, 413)(278, 415)(279, 414)(280, 418)(281, 419)(282, 420)(283, 416)(284,
417)(285, 426)(286, 425)(287, 428)(288, 427)(289, 431)(290, 432)(291, 429)(292,
430)(293, 424)(294, 423)(295, 422)(296, 421)(297, 439)(298, 440)(299, 437)(300,
438)(301, 434)(302, 433)(303, 436)(304, 435)(305, 443)(306, 444)(307, 441)(308,
442)(309, 310)(311, 312)(313, 314)(315, 316)(317, 320)(318, 319)(321, 323)(322,
324)(325, 332)(326, 331)(327, 329)(328, 330)(333, 336)(334, 335)(337, 340)(338,
339)(344, 347)(345, 346)(348, 350)(349, 351)(352, 354)(353, 355)(356, 357)(358,
359)(364, 365)(366, 367)(368, 371)(369, 372)(376, 379)(377, 378)(380, 382)(381,
383)(384, 385)(386, 388)(387, 389)(390, 391)(396, 402)(397, 403)(398, 399)(400,
401)(479, 480)
h: (69, 73)(70, 74)(71, 76)(72, 75)(77, 90)(78, 89)(79, 92)(80, 91)(97, 99)(98,
100)(101, 103)(102, 104)(105, 109)(106, 110)(107, 111)(108, 112)(121, 127)(122,
128)(123, 125)(124, 126)(129, 131)(130, 132)(135, 137)(136, 138)(139, 142)(140,
141)(151, 152)(153, 154)(160, 162)(161, 163)(165, 166)(167, 169)(168, 170)(171,
173)(172, 174)(183, 186)(184, 185)(187, 189)(188, 190)(191, 192)(193, 196)(194,
195)(197, 198)(199, 201)(200, 202)(207, 210)(208, 209)(211, 212)(213, 214)(215,
216)(217, 218)(219, 221)(220, 222)(223, 229)(224, 230)(225, 227)(226, 228)(231,
235)(232, 236)(233, 237)(234, 238)(255, 258)(256, 257)(259, 262)(260, 261)(263,
265)(264, 266)(267, 269)(268, 270)(271, 273)(272, 274)(275, 276)(285, 287)(286,
288)(289, 290)(291, 292)(293, 295)(294, 296)(305, 307)(306, 308)(317, 319)(318,
320)(321, 324)(322, 323)(333, 338)(334, 337)(335, 340)(336, 339)(344, 346)(345,
347)(348, 350)(349, 351)(360, 361)(362, 363)(364, 366)(365, 367)(376, 378)(377,
379)(380, 382)(381, 383)(392, 393)(394, 395)(398, 400)(399, 401)(421, 423)(422,
424)(425, 427)(426, 428)(429, 430)(431, 432)(441, 443)(442, 444)
m: (29, 30)(37, 38)(45, 46)(47, 48)(61, 62)(113, 117)(114, 118)(115, 119)(116,
120)(133, 134)(143, 150)(144, 149)(145, 147)(146, 148)(155, 157)(156, 158)(159,
164)(175, 177)(176, 178)(179, 181)(180, 182)(203, 205)(204, 206)(213, 215)(214,
216)(217, 275)(218, 276)(239, 245)(240, 246)(241, 243)(242, 244)(247, 251)(248,
252)(249, 253)(250, 254)(263, 267)(264, 268)(265, 269)(266, 270)(277, 278)(279,
280)(281, 283)(282, 284)(297, 299)(298, 300)(301, 303)(302, 304)(309, 314)(310,
313)(311, 316)(312, 315)(325, 332)(326, 331)(327, 329)(328, 330)(341, 342)(343,
370)(352, 354)(353, 355)(356, 358)(357, 359)(368, 371)(369, 372)(373, 374)(375,
404)(384, 390)(385, 391)(386, 388)(387, 389)(396, 402)(397, 403)(405, 406)(413,
415)(414, 418)(416, 419)(417, 420)(433, 435)(434, 436)(437, 439)(438, 440)(445,
446)(453, 463)(454, 468)(471, 478)
n1: (2, 3)(4, 5)(7, 9)(8, 10)(12, 13)(15, 18)(16, 17)(19, 21)(20, 22)(23,
25)(24, 26)(27, 28)(29, 33)(30, 34)(31, 35, 32, 36)(37, 41)(38, 42)(39, 43, 40,
44)(45, 53)(46, 54)(47, 56)(48, 55)(49, 59, 50, 60)(51, 58, 52, 57)(61, 64)(62,
63)(65, 68, 66, 67)(71, 74)(72, 73)(77, 85)(78, 88)(79, 81)(80, 84)(82, 91)(83,
92)(86, 89)(87, 90)(93, 98)(94, 99)(95, 100)(96, 97)(101, 108, 131, 112)(102,
105, 132, 109)(103, 111, 129, 107)(104, 110, 130, 106)(113, 127)(114, 126)(115,
122)(116, 123)(117, 128)(118, 125)(119, 121)(120, 124)(133, 136, 164, 138)(134,
135, 159, 137)(139, 161, 140, 162)(141, 160, 142, 163)(143, 154, 149, 152)(144,
151, 150, 153)(145, 156)(146, 158)(147, 155)(148, 157)(165, 167, 194, 169)(166,
170, 195, 168)(171, 191, 173, 196)(172, 193, 174, 192)(175, 190)(176, 187)(177,
189)(178, 188)(179, 186)(180, 184)(181, 185)(182, 183)(197, 199, 211, 201)(198,
202, 212, 200)(203, 210)(204, 208)(205, 209)(206, 207)(213, 223, 218, 229)(214,
227, 217, 225)(215, 224, 276, 230)(216, 228, 275, 226)(219, 238, 274, 236)(220,
232, 273, 234)(221, 233, 272, 231)(222, 235, 271, 237)(239, 269)(240, 265)(241,
268)(242, 264)(243, 267)(244, 263)(245, 270)(246, 266)(247, 259, 253, 255)(248,
261, 254, 257)(249, 256, 251, 260)(250, 258, 252, 262)(277, 293, 279, 295)(278,
294, 280, 296)(281, 298)(282, 300)(283, 297)(284, 299)(285, 308, 288, 307)(286,
305, 287, 306)(289, 303, 291, 302)(290, 301, 292, 304)(309, 322, 311, 319)(310,
317, 312, 323)(313, 318, 315, 324)(314, 321, 316, 320)(325, 331)(327, 330)(333,
336, 340, 337)(334, 338, 339, 335)(341, 345, 343, 347)(342, 344, 370, 346)(348,
366, 349, 365)(350, 364, 351, 367)(352, 372)(353, 369)(354, 371)(355, 368)(356,
360, 359, 362)(357, 363, 358, 361)(373, 377, 375, 379)(374, 376, 404, 378)(380,
400, 381, 399)(382, 398, 383, 401)(384, 392, 391, 394)(385, 395, 390, 393)(386,
403)(387, 397)(388, 402)(389, 396)(405, 408)(406, 407)(409, 411, 410, 412)(413,
421, 414, 423)(415, 422, 418, 424)(416, 438)(417, 440)(419, 437)(420, 439)(425,
444, 428, 443)(426, 441, 427, 442)(429, 434, 431, 435)(430, 436, 432, 433)(445,
449)(446, 450)(447, 452, 448, 451)(453, 456)(454, 460)(455, 463)(457, 466, 458,
467)(459, 468)(461, 464, 462, 465)(469, 470)(471, 472)(473, 478)(474, 476, 475,
477)(479, 480)
a1: (33, 34)(41, 42)(53, 54)(55, 56)(63, 64)(121, 122)(123, 124)(125, 126)(127,
128)(135, 136)(137, 138)(145, 146)(147, 148)(151, 152)(153, 154)(155, 156)(157,
158)(183, 184)(185, 186)(187, 188)(189, 190)(207, 208)(209, 210)(223, 224)(225,
226)(227, 228)(229, 230)(239, 240)(241, 242)(243, 244)(245, 246)(255, 256)(257,
258)(259, 260)(261, 262)(263, 264)(265, 266)(267, 268)(269, 270)(281, 282)(283,
284)(289, 290)(291, 292)(293, 294)(295, 296)(297, 298)(299, 300)(317, 318)(319,
320)(321, 322)(323, 324)(325, 326)(327, 328)(329, 330)(331, 332)(344, 345)(346,
347)(352, 353)(354, 355)(360, 361)(362, 363)(368, 369)(371, 372)(376, 377)(378,
379)(386, 387)(388, 389)(392, 393)(394, 395)(396, 397)(402, 403)(407, 408)(416,
417)(419, 420)(421, 422)(423, 424)(429, 430)(431, 432)(437, 438)(439, 440)(449,
450)(455, 456)(459, 460)(472, 473)
b1: (1, 29, 415, 218, 103, 76, 107, 224, 295, 473, 14, 478, 279, 216, 132, 69,
105, 225, 422, 33)(2, 45, 374, 194, 79, 82, 168, 376, 53, 3, 23, 463, 375, 166,
91, 81, 167, 379, 455, 25)(4, 16, 406, 164, 193, 89, 93, 199, 347, 459, 8, 469,
61, 134, 191, 77, 94, 200, 344, 55)(5, 48, 342, 211, 98, 86, 172, 135, 64, 470,
10, 468, 343, 198, 99, 85, 171, 138, 407, 17)(6, 38, 280, 275, 130, 70, 110,
227, 421, 449, 11, 445, 413, 213, 101, 75, 112, 230, 296, 42)(7, 453, 373, 165,
92, 83, 169, 378, 54, 21, 19, 46, 404, 195, 80, 84, 170, 377, 456, 9)(12, 471,
277, 215, 131, 72, 109, 226, 294, 41, 480, 30, 418, 217, 104, 74, 111, 223, 423,
450)(13, 446, 414, 214, 102, 73, 108, 229, 424, 34, 479, 37, 278, 276, 129, 71,
106, 228, 293, 472)(15, 405, 133, 196, 90, 95, 201, 346, 56, 22, 27, 62, 159,
192, 78, 96, 202, 345, 460, 26)(18, 24, 454, 341, 197, 100, 87, 173, 137, 63,
28, 20, 47, 370, 212, 97, 88, 174, 136, 408)(31, 420, 310, 220, 121, 119, 234,
320, 299, 44, 40, 283, 315, 271, 126, 114, 235, 322, 437, 35)(32, 419, 309, 219,
122, 115, 236, 324, 297, 43, 39, 284, 316, 272, 125, 118, 233, 317, 439, 36)(49,
396, 149, 162, 183, 178, 380, 361, 355, 58, 50, 397, 150, 163, 184, 176, 383,
362, 353, 57)(51, 369, 359, 401, 187, 180, 142, 153, 387, 59, 52, 368, 358, 400,
188, 182, 140, 152, 389, 60)(65, 67, 158, 391, 367, 208, 204, 351, 394, 146, 66,
68, 157, 390, 366, 207, 206, 348, 393, 148)(113, 238, 319, 438, 452, 477, 281,
313, 274, 127, 120, 231, 321, 300, 474, 447, 417, 312, 221, 124)(116, 237, 318,
298, 475, 448, 416, 311, 222, 123, 117, 232, 323, 440, 451, 476, 282, 314, 273,
128)(139, 154, 388, 458, 465, 371, 357, 399, 189, 179, 141, 151, 386, 457, 464,
372, 356, 398, 190, 181)(143, 161, 185, 175, 382, 360, 352, 461, 466, 403, 144,
160, 186, 177, 381, 363, 354, 462, 467, 402)(145, 409, 411, 156, 384, 364, 210,
205, 349, 395, 147, 410, 412, 155, 385, 365, 209, 203, 350, 392)(239, 308, 290,
330, 434, 426, 263, 249, 339, 257, 245, 305, 291, 331, 433, 425, 264, 247, 337,
262)(240, 444, 432, 326, 436, 428, 265, 250, 340, 261, 246, 441, 429, 328, 435,
427, 266, 248, 338, 258)(241, 307, 292, 329, 301, 285, 268, 253, 335, 260, 243,
306, 289, 332, 302, 286, 267, 251, 333, 255)(242, 443, 430, 325, 303, 287, 270,
254, 336, 256, 244, 442, 431, 327, 304, 288, 269, 252, 334, 259)
c1: (1, 11)(2, 7)(3, 9)(4, 26)(5, 24)(6, 14)(8, 22)(10, 20)(12, 479)(13,
480)(15, 469)(16, 27)(17, 28)(18, 470)(19, 23)(21, 25)(29, 37)(30, 38)(31,
477)(32, 476)(33, 41)(34, 42)(35, 475)(36, 474)(39, 448)(40, 447)(43, 452)(44,
451)(49, 466)(50, 467)(51, 465)(52, 464)(57, 461)(58, 462)(59, 457)(60, 458)(65,
410)(66, 409)(67, 412)(68, 411)(105, 109)(106, 110)(107, 111)(108, 112)(113,
117)(114, 118)(115, 119)(116, 120)(121, 122)(123, 124)(125, 126)(127, 128)(135,
137)(136, 138)(139, 142)(140, 141)(143, 144)(145, 147)(146, 148)(149, 150)(151,
152)(153, 154)(155, 156)(157, 158)(160, 161)(162, 163)(167, 169)(168, 170)(171,
173)(172, 174)(175, 177)(176, 178)(179, 181)(180, 182)(183, 184)(185, 186)(187,
188)(189, 190)(199, 201)(200, 202)(203, 205)(204, 206)(207, 208)(209, 210)(219,
220)(221, 222)(223, 229)(224, 230)(225, 227)(226, 228)(231, 235)(232, 236)(233,
237)(234, 238)(239, 245)(240, 246)(241, 243)(242, 244)(247, 249)(248, 250)(251,
253)(252, 254)(255, 256)(257, 258)(259, 260)(261, 262)(263, 264)(265, 266)(267,
268)(269, 270)(271, 272)(273, 274)(281, 282)(283, 284)(285, 426)(286, 425)(287,
428)(288, 427)(289, 432)(290, 431)(291, 430)(292, 429)(293, 295)(294, 296)(297,
299)(298, 300)(301, 434)(302, 433)(303, 436)(304, 435)(305, 443)(306, 444)(307,
441)(308, 442)(309, 310)(311, 312)(313, 314)(315, 316)(317, 319)(318, 320)(321,
324)(322, 323)(325, 327)(326, 328)(329, 332)(330, 331)(333, 336)(334, 335)(337,
340)(338, 339)(344, 346)(345, 347)(348, 350)(349, 351)(352, 354)(353, 355)(356,
357)(358, 359)(360, 361)(362, 363)(364, 365)(366, 367)(368, 369)(371, 372)(376,
378)(377, 379)(380, 382)(381, 383)(384, 385)(386, 388)(387, 389)(390, 391)(392,
393)(394, 395)(396, 397)(398, 399)(400, 401)(402, 403)(416, 417)(419, 420)(421,
423)(422, 424)(437, 439)(438, 440)(445, 471)(446, 478)(449, 472)(450, 473)
C4[ 480, 546 ]
480
-1 2 3 4 5
-2 1 478 479 471
-3 473 1 480 472
-4 1 474 475 480
-5 1 476 477 479
-6 22 19 20 21
-7 11 12 445 446
-8 451 12 452 14
-9 11 13 449 450
-10 13 14 447 448
-11 24 26 7 9
-12 24 25 7 8
-13 23 26 9 10
-14 23 25 8 10
-15 445 446 31 32
-16 29 447 30 448
-17 33 451 34 452
-18 35 36 449 450
-19 37 38 6 480
-20 6 39 40 480
-21 6 479 41 42
-22 44 6 479 43
-23 13 14 29 30
-24 11 12 31 32
-25 33 12 34 14
-26 11 13 35 36
-27 37 38 39 40
-28 44 41 42 43
-29 23 45 48 16
-30 23 46 47 16
-31 24 15 49 52
-32 24 15 50 51
-33 55 25 17 53
-34 56 25 17 54
-35 57 26 59 18
-36 58 26 60 18
-37 45 48 27 19
-38 46 47 27 19
-39 27 49 52 20
-40 27 50 51 20
-41 55 28 53 21
-42 56 28 21 54
-43 22 57 59 28
-44 22 58 60 28
-45 277 37 279 29
-46 278 38 280 30
-47 38 30 283 284
-48 37 281 29 282
-49 287 39 31 285
-50 286 288 40 32
-51 291 292 40 32
-52 289 290 39 31
-53 33 293 41 295
-54 34 294 42 296
-55 33 298 300 41
-56 297 34 299 42
-57 35 301 303 43
-58 44 36 302 304
-59 308 35 306 43
-60 44 36 305 307
-61 277 279 281 282
-62 278 280 283 284
-63 297 299 294 296
-64 298 300 293 295
-65 302 304 305 307
-66 308 301 303 306
-67 286 288 291 292
-68 287 289 290 285
-69 77 79 81 85
-70 88 78 80 84
-71 78 80 82 86
-72 77 79 83 87
-73 90 81 92 85
-74 88 89 91 84
-75 90 92 83 87
-76 89 91 82 86
-77 69 72 127 128
-78 70 125 71 126
-79 69 103 72 129
-80 70 71 104 130
-81 111 69 73 107
-82 71 105 76 109
-83 112 72 75 108
-84 110 70 106 74
-85 69 113 73 117
-86 71 116 76 120
-87 115 72 75 119
-88 70 114 74 118
-89 123 124 74 76
-90 121 122 73 75
-91 132 102 74 76
-92 101 73 75 131
-93 111 113 117 107
-94 105 116 109 120
-95 112 115 108 119
-96 110 114 106 118
-97 125 104 126 130
-98 103 127 128 129
-99 132 123 102 124
-100 121 122 101 131
-101 165 100 92 196
-102 99 165 91 196
-103 166 79 193 98
-104 166 80 193 97
-105 167 82 94 171
-106 168 84 172 96
-107 168 81 93 172
-108 167 83 171 95
-109 169 82 94 173
-110 170 84 96 174
-111 81 93 170 174
-112 169 83 95 173
-113 179 93 85 175
-114 88 176 180 96
-115 176 180 95 87
-116 179 94 86 175
-117 177 93 181 85
-118 88 178 182 96
-119 178 182 95 87
-120 177 181 94 86
-121 100 188 90 183
-122 187 100 90 184
-123 99 89 190 186
-124 99 89 189 185
-125 78 188 183 97
-126 187 78 184 97
-127 77 190 98 186
-128 77 189 185 98
-129 79 192 195 98
-130 80 192 195 97
-131 100 92 191 194
-132 99 91 191 194
-133 309 310 213 214
-134 313 215 314 216
-135 321 224 228 318
-136 223 322 227 317
-137 320 324 226 230
-138 319 323 225 229
-139 231 232 334 340
-140 233 234 333 339
-141 237 336 238 338
-142 235 236 335 337
-143 312 247 248 314
-144 311 313 249 250
-145 330 244 326 240
-146 243 325 239 329
-147 242 331 246 328
-148 332 245 327 241
-149 253 254 310 316
-150 309 315 251 252
-151 319 256 258 318
-152 320 255 257 317
-153 322 324 260 262
-154 321 323 259 261
-155 264 266 325 328
-156 265 326 327 263
-157 330 332 268 270
-158 331 267 269 329
-159 275 276 315 316
-160 222 339 274 340
-161 221 337 338 273
-162 220 335 336 272
-163 333 334 271 219
-164 311 312 217 218
-165 101 102 213 215
-166 103 104 214 216
-167 223 224 105 108
-168 225 226 106 107
-169 112 229 109 230
-170 110 111 227 228
-171 232 105 238 108
-172 231 237 106 107
-173 112 234 236 109
-174 110 111 233 235
-175 113 116 239 240
-176 242 114 115 241
-177 245 246 117 120
-178 243 244 118 119
-179 254 113 116 248
-180 253 114 115 247
-181 117 250 120 252
-182 249 118 119 251
-183 121 256 125 260
-184 122 255 126 259
-185 124 258 128 262
-186 123 257 127 261
-187 264 122 268 126
-188 121 267 125 263
-189 266 124 270 128
-190 265 123 269 127
-191 132 273 131 274
-192 271 129 272 130
-193 221 222 103 104
-194 132 276 218 131
-195 275 129 217 130
-196 220 101 102 219
-197 220 213 215 219
-198 221 222 214 216
-199 232 223 224 238
-200 231 225 226 237
-201 234 236 229 230
-202 233 235 227 228
-203 254 248 239 240
-204 242 253 247 241
-205 245 246 250 252
-206 243 244 249 251
-207 256 267 260 263
-208 264 255 268 259
-209 266 258 270 262
-210 265 257 269 261
-211 276 218 273 274
-212 275 271 217 272
-213 165 133 197 373
-214 198 133 166 373
-215 165 374 134 197
-216 198 374 166 134
-217 375 212 195 164
-218 375 211 194 164
-219 401 163 196 197
-220 400 162 196 197
-221 198 399 193 161
-222 198 398 160 193
-223 199 167 377 136
-224 199 167 376 135
-225 200 168 379 138
-226 200 168 378 137
-227 377 136 202 170
-228 376 135 202 170
-229 201 169 379 138
-230 201 169 378 137
-231 200 139 172 381
-232 199 171 139 381
-233 202 380 140 174
-234 201 380 140 173
-235 202 174 383 142
-236 201 173 383 142
-237 200 172 382 141
-238 199 171 382 141
-239 387 146 203 175
-240 386 145 203 175
-241 176 389 148 204
-242 176 388 147 204
-243 178 387 146 206
-244 386 145 178 206
-245 177 389 148 205
-246 177 388 147 205
-247 143 385 180 204
-248 143 385 179 203
-249 144 182 206 384
-250 144 181 205 384
-251 182 391 150 206
-252 181 391 150 205
-253 180 390 149 204
-254 179 203 390 149
-255 184 393 152 208
-256 183 392 151 207
-257 210 393 152 186
-258 209 392 151 185
-259 154 184 208 395
-260 183 207 394 153
-261 154 210 186 395
-262 209 185 394 153
-263 188 156 403 207
-264 187 155 402 208
-265 210 156 190 403
-266 209 155 189 402
-267 188 397 158 207
-268 187 396 157 208
-269 210 397 190 158
-270 209 396 189 157
-271 212 192 401 163
-272 212 400 192 162
-273 211 399 191 161
-274 211 398 191 160
-275 212 159 195 404
-276 211 159 194 404
-277 341 45 61 373
-278 374 342 46 62
-279 45 375 343 61
-280 46 62 370 404
-281 48 61 403 372
-282 48 61 402 371
-283 397 47 369 62
-284 396 47 368 62
-285 68 367 49 401
-286 67 366 400 50
-287 68 365 399 49
-288 67 364 398 50
-289 68 52 393 361
-290 68 392 52 360
-291 363 67 51 395
-292 67 51 394 362
-293 377 345 53 64
-294 376 344 63 54
-295 379 347 53 64
-296 378 346 63 54
-297 56 353 387 63
-298 55 352 386 64
-299 56 355 389 63
-300 55 354 388 64
-301 66 57 391 359
-302 58 390 358 65
-303 66 385 57 357
-304 58 356 65 384
-305 60 381 349 65
-306 66 59 380 348
-307 60 383 65 351
-308 66 59 382 350
-309 341 133 150 359
-310 341 133 149 358
-311 144 343 356 164
-312 143 343 357 164
-313 144 342 134 356
-314 143 342 134 357
-315 159 150 359 370
-316 159 149 358 370
-317 136 345 152 361
-318 135 344 151 360
-319 138 347 151 360
-320 137 346 152 361
-321 154 363 135 344
-322 136 345 153 362
-323 154 363 138 347
-324 137 346 153 362
-325 155 353 146 371
-326 352 145 156 372
-327 156 355 148 372
-328 155 354 147 371
-329 353 146 158 369
-330 352 145 157 368
-331 354 147 158 369
-332 157 355 148 368
-333 367 348 140 163
-334 367 139 349 163
-335 366 162 142 351
-336 366 162 141 350
-337 365 161 142 351
-338 365 161 141 350
-339 364 160 348 140
-340 364 160 139 349
-341 309 277 310 413
-342 278 313 314 415
-343 311 279 312 414
-344 321 422 294 318
-345 322 421 293 317
-346 320 324 424 296
-347 319 323 423 295
-348 442 333 306 339
-349 441 334 305 340
-350 308 444 336 338
-351 443 335 337 307
-352 330 298 326 438
-353 297 325 437 329
-354 440 331 300 328
-355 299 332 327 439
-356 311 313 304 436
-357 312 303 314 435
-358 310 302 434 316
-359 309 301 433 315
-360 319 432 290 318
-361 320 431 289 317
-362 430 322 324 292
-363 429 321 323 291
-364 288 339 340 428
-365 287 337 338 427
-366 286 335 336 426
-367 333 334 425 285
-368 330 332 420 284
-369 331 419 283 329
-370 418 280 315 316
-371 325 282 328 417
-372 281 326 327 416
-373 277 213 214 413
-374 278 215 216 415
-375 279 414 217 218
-376 224 422 228 294
-377 223 421 227 293
-378 226 424 230 296
-379 225 423 229 295
-380 233 442 234 306
-381 231 232 441 305
-382 308 444 237 238
-383 443 235 236 307
-384 249 304 436 250
-385 247 248 303 435
-386 298 244 240 438
-387 297 243 239 437
-388 242 440 300 246
-389 299 245 241 439
-390 253 254 302 434
-391 301 433 251 252
-392 256 432 290 258
-393 255 431 289 257
-394 430 292 260 262
-395 429 291 259 261
-396 420 268 270 284
-397 419 267 269 283
-398 222 288 274 428
-399 221 287 273 427
-400 220 286 272 426
-401 271 425 219 285
-402 264 266 282 417
-403 265 281 416 263
-404 275 418 276 280
-405 419 420 413 414
-406 418 415 416 417
-407 440 422 424 438
-408 421 423 437 439
-409 442 444 434 436
-410 441 443 433 435
-411 431 432 426 428
-412 429 430 425 427
-413 341 453 405 373
-414 375 343 453 405
-415 374 342 463 406
-416 468 403 372 406
-417 402 468 371 406
-418 463 370 404 406
-419 397 454 369 405
-420 396 454 368 405
-421 408 377 345 456
-422 407 376 344 455
-423 408 379 456 347
-424 407 378 455 346
-425 367 401 412 467
-426 366 400 411 466
-427 365 399 412 467
-428 364 398 411 466
-429 363 465 412 395
-430 465 412 394 362
-431 464 411 393 361
-432 464 411 392 360
-433 462 410 391 359
-434 409 390 358 461
-435 385 462 410 357
-436 409 356 384 461
-437 353 408 387 460
-438 352 407 386 459
-439 408 355 389 460
-440 407 354 388 459
-441 410 381 458 349
-442 409 380 457 348
-443 410 458 383 351
-444 409 457 382 350
-445 453 454 15 7
-446 463 15 468 7
-447 465 16 467 10
-448 464 466 16 10
-449 456 18 9 460
-450 455 18 459 9
-451 462 17 458 8
-452 17 457 8 461
-453 445 413 414 471
-454 419 420 445 471
-455 473 422 424 450
-456 421 423 449 472
-457 452 442 475 444
-458 451 441 474 443
-459 440 473 438 450
-460 437 449 439 472
-461 452 475 434 436
-462 451 474 433 435
-463 418 478 446 415
-464 431 432 477 448
-465 429 430 476 447
-466 477 426 448 428
-467 476 425 447 427
-468 478 446 416 417
-469 476 477 478 471
-470 473 474 475 472
-471 2 453 454 469
-472 3 456 470 460
-473 3 455 459 470
-474 462 4 458 470
-475 4 457 470 461
-476 465 5 467 469
-477 464 466 5 469
-478 463 2 468 469
-479 22 2 5 21
-480 3 4 19 20
0