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