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