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