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