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