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