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