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