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