check:=func; load "3.magma"; check(codes); load "4.magma"; check(codes); load "5.magma"; check(codes); load "6.magma"; check(codes); load "7.magma"; check(codes); load "8.magma"; check(codes); load "9.magma"; check(codes); load "10.magma"; check(codes); load "11.magma"; check(codes); load "12.magma"; check(codes); load "13.magma"; check(codes); load "14.magma"; check(codes); load "15.magma"; check(codes); load "16.magma"; check(codes); load "17.magma"; check(codes); load "18.magma"; check(codes); load "19.magma"; check(codes); load "20.magma"; check(codes); // Magma V2.15-13 Wed Sep 16 2009 15:22:32 on kiso1ws2 [Seed = 752280073] // Total time: 20.699 seconds, Total memory usage: 13.80MB