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