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