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