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