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