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