algol ercc07:algtests_at1,ay,.out
run ay
algol ercc07:algtests_at2,ay,.out
run ay
algol ercc07:algtests_at3,ay,.out
run ay
algol ercc07:algtests_at4,ay,.out
run ay
algol ercc07:algtests_at5,ay,.out
run ay
algol ercc07:algtests_at6,ay,.out
run ay
algol ercc07:algtests_at7,ay,.out
run ay
algol ercc07:algtests_at8,ay,.out
run ay
algol ercc07:algtests_at9,ay,.out
run ay
algol ercc07:algtests_at10,ay,.out
run ay
algol ercc07:algtests_at11,ay,.out
run ay
algol ercc07:algtests_at12,ay,.out
run ay
algol ercc07:algtests_at13,ay,.out
run ay
algol ercc07:algtests_at14,ay,.out
run ay
algol ercc07:algtests_at15,ay,.out
run ay
algol ercc07:algtests_at16,ay,.out
run ay
algol ercc07:algtests_at17,ay,.out
run ay
algol ercc07:algtests_at18,ay,.out
run ay
algol ercc07:algtests_at19,ay,.out
run ay
algol ercc07:algtests_at20,ay,.out
run ay
algol ercc07:algtests_at21,ay,.out
run ay
algol ercc07:algtests_at22,ay,.out
run ay
algol ercc07:algtests_at23,ay,.out
run ay
algol ercc07:algtests_at24,ay,.out
run ay
algol ercc07:algtests_at24a,ay,.out
run ay
algol ercc07:algtests_at25,ay,.out
run ay
algol ercc07:algtests_at26,ay,.out
run ay
algol ercc07:algtests_at27,ay,.out
run ay
algol ercc07:algtests_at28,ay,.out
run ay
algol ercc07:algtests_at29,ay,.out
run ay
algol ercc07:algtests_at30,ay,.out
run ay
algol ercc07:algtests_at31,ay,.out
run ay
algol ercc07:algtests_at32,ay,.out
run ay
algol ercc07:algtests_at33,ay,.out
run ay
algol ercc07:algtests_at34,ay,.out
run ay
algol ercc07:algtests_at35,ay,.out
run ay
algol ercc07:algtests_at36,ay,.out
run ay
algol ercc07:algtests_at37,ay,.out
run ay
algol ercc07:algtests_at38,ay,.out
run ay
algol ercc07:algtests_at39,ay,.out
run ay
algol ercc07:algtests_at40,ay,.out
run ay
algol ercc07:algtests_at41,ay,.out
run ay
algol ercc07:algtests_at42,ay,.out
run ay
algol ercc07:algtests_at43,ay,.out
run ay
algol ercc07:algtests_at44,ay,.out
run ay
algol ercc07:algtests_at45,ay,.out
run ay
algol ercc07:algtests_at46,ay,.out
run ay
algol ercc07:algtests_at47,ay,.out
run ay
algol ercc07:algtests_at48,ay,.out
run ay
algol ercc07:algtests_at49,ay,.out
run ay
algol ercc07:algtests_at50,ay,.out
run ay
algol ercc07:algtests_at51,ay,.out
run ay
algol ercc07:algtests_at52,ay,.out
run ay
algol ercc07:algtests_at53,ay,.out
run ay
algol ercc07:algtests_at54,ay,.out
run ay
algol ercc07:algtests_at55,ay,.out
obey ercc07:algtests_data55
algol ercc07:algtests_at56,ay,.out
run ay
algol ercc07:algtests_at57,ay,.out
run ay
algol ercc07:algtests_at58,ay,.out
run ay
algol ercc07:algtests_at59,ay,.out
run ay
algol ercc07:algtests_at60,ay,.out
run ay

algol ercc07:algtests_at61,ay,.out
run ay
algol ercc07:algtests_at62,ay,.out
run ay
algol ercc07:algtests_at63,ay,.out
run ay
algol ercc07:algtests_at64,ay,.out
run ay
algol ercc07:algtests_at65,ay,.out
run ay
algol ercc07:algtests_at66,ay,.out
run ay
algol ercc07:algtests_at67,ay,.out
run ay
algol ercc07:algtests_at68,ay,.out
run ay
algol ercc07:algtests_at69,ay,.out
run ay
algol ercc07:algtests_at70,ay,.out
run ay
algol ercc07:algtests_at71,ay,.out
run ay
algol ercc07:algtests_at72,ay,.out
run ay
algol ercc07:algtests_at73,ay,.out
run ay
algol ercc07:algtests_at74,ay,.out
run ay
algol ercc07:algtests_at75,ay,.out
obey ercc07:algtests_data75
algol ercc07:algtests_at76,ay,.out
run ay
algol ercc07:algtests_at77,ay,.out
run ay
algol ercc07:algtests_at78,ay,.out
run ay
algol ercc07:algtests_at79,ay,.out
run ay
algol ercc07:algtests_at80,ay,.out
run ay
algol ercc07:algtests_at81,ay,.out
run ay
algol ercc07:algtests_at82,ay,.out
run ay
algol ercc07:algtests_at83,ay,.out
run ay
algol ercc07:algtests_at84,ay,.out
run ay
algol ercc07:algtests_at85,ay,.out
run ay
algol ercc07:algtests_at86,ay,.out
run ay
algol ercc07:algtests_at87,ay,.out
run ay
algol ercc07:algtests_at88,ay,.out
run ay
algol ercc07:algtests_at89,ay,.out
run ay
algol ercc07:algtests_at90,ay,.out
run ay
algol ercc07:algtests_at91,ay,.out
run ay
algol ercc07:algtests_at92,ay,.out
run ay
algol ercc07:algtests_at93,ay,.out
run ay
algol ercc07:algtests_at94,ay,.out
run ay
algol ercc07:algtests_at95,ay,.out
run ay
algol ercc07:algtests_at96,ay,.out
run ay
algol ercc07:algtests_at97,ay,.out
run ay
algol ercc07:algtests_at98,ay,.out
run ay
algol ercc07:algtests_at99,ay,.out
run ay
algol ercc07:algtests_at100,ay,.out
run ay
algol ercc07:algtests_at101,ay,.out
run ay
algol ercc07:algtests_at102,ay,.out
run ay
algol ercc07:algtests_at103,ay,.out
run ay
algol ercc07:algtests_at104,ay,.out
run ay
algol ercc07:algtests_at105,ay,.out
run ay
algol ercc07:algtests_at106,ay,.out
run ay
algol ercc07:algtests_at107,ay,.out
run ay
algol ercc07:algtests_at108,ay,.out
run ay
algol ercc07:algtests_at109,ay,.out
run ay
algol ercc07:algtests_at110,ay,.out
run ay
algol ercc07:algtests_at111,ay,.out
run ay
algol ercc07:algtests_at112,ay,.out
run ay
algol ercc07:algtests_at113,ay,.out
run ay
algol ercc07:algtests_at114,ay,.out
run ay
algol ercc07:algtests_at115,ay,.out
run ay
algol ercc07:algtests_at116,ay,.out
run ay
algol ercc07:algtests_at117,ay,.out
run ay
algol ercc07:algtests_at118,ay,.out
run ay
algol ercc07:algtests_at119,ay,.out
run ay
algol ercc07:algtests_at120,ay,.out
run ay
algol ercc07:algtests_at121,ay,.out
run ay
algol ercc07:algtests_at122,ay,.out
run ay
algol ercc07:algtests_at123,ay,.out
run ay
algol ercc07:algtests_at124,ay,.out
run ay
algol ercc07:algtests_at125,ay,.out
run ay
algol ercc07:algtests_at126,ay,.out
run ay
algol ercc07:algtests_at127,ay,.out
run ay
algol ercc07:algtests_at128,ay,.out
run ay
algol ercc07:algtests_at129,ay,.out
run ay
algol ercc07:algtests_at130,ay,.out
run ay
algol ercc07:algtests_at131,ay,.out
run ay
algol ercc07:algtests_at132,ay,.out
run ay
algol ercc07:algtests_at133,ay,.out
run ay
algol ercc07:algtests_at134,ay,.out
run ay
algol ercc07:algtests_at135,ay,.out
run ay
algol ercc07:algtests_at136,ay,.out
run ay
algol ercc07:algtests_at137,ay,.out
run ay
algol ercc07:algtests_at138,ay,.out
run ay
algol ercc07:algtests_at139,ay,.out
run ay
algol ercc07:algtests_at140,ay,.out
run ay
algol ercc07:algtests_at141,ay,.out
run ay
algol ercc07:algtests_at142,ay,.out
run ay
algol ercc07:algtests_at143,ay,.out
run ay
algol ercc07:algtests_at144,ay,.out
run ay
algol ercc07:algtests_at145,ay,.out
run ay
algol ercc07:algtests_at146,ay,.out
run ay
algol ercc07:algtests_at147,ay,.out
run ay
algol ercc07:algtests_at148,ay,.out
run ay
algol ercc07:algtests_at149,ay,.out
run ay
algol ercc07:algtests_at150,ay,.out
run ay
algol ercc07:algtests_at151,ay,.out
run ay
algol ercc07:algtests_at152,ay,.out
run ay
algol ercc07:algtests_at153,ay,.out
run ay
algol ercc07:algtests_at154,ay,.out
run ay
algol ercc07:algtests_at155,ay,.out
run ay
algol ercc07:algtests_at156,ay,.out
run ay
algol ercc07:algtests_at157,ay,.out
run ay
algol ercc07:algtests_at158,ay,.out
run ay
algol ercc07:algtests_at159,ay,.out
run ay
algol ercc07:algtests_at160,ay,.out
run ay
algol ercc07:algtests_at161,ay,.out
run ay
algol ercc07:algtests_at162,ay,.out
run ay
algol ercc07:algtests_at163,ay,.out
run ay
algol ercc07:algtests_at164,ay,.out
run ay
algol ercc07:algtests_at165,ay,.out
run ay
algol ercc07:algtests_at166,ay,.out
run ay
algol ercc07:algtests_at167,ay,.out
run ay
algol ercc07:algtests_at168,ay,.out
run ay
algol ercc07:algtests_at169,ay,.out
run ay
algol ercc07:algtests_at170,ay,.out
run ay
algol ercc07:algtests_at171,ay,.out
run ay
algol ercc07:algtests_at172,ay,.out
run ay
algol ercc07:algtests_at173,ay,.out
run ay
algol ercc07:algtests_at174,ay,.out
run ay
algol ercc07:algtests_at175,ay,.out
run ay
algol ercc07:algtests_at176,ay,.out
run ay
algol ercc07:algtests_at177,ay,.out
run ay
algol ercc07:algtests_at178,ay,.out
run ay
algol ercc07:algtests_at179,ay,.out
run ay
algol ercc07:algtests_at180,ay,.out
run ay
algol ercc07:algtests_at181,ay,.out
run ay