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