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