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