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