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