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