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