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