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