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