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