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