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