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