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