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