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