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