Magma V2.21-9 Fri Mar 11 2016 08:18:35 on lehner [Seed = 62244379] Type ? for help. Type -D to quit. Loading startup file "/home/samir/.magmarc" +++++++++++++++ 7 true +++++++++++++++ 8 true +++++++++++++++ 9 true +++++++++++++++ 11 true +++++++++++++++ 12 true +++++++++++++++ 13 true +++++++++++++++ 16 true +++++++++++++++ 17 true +++++++++++++++ 19 true +++++++++++++++ 21 true +++++++++++++++ 23 true +++++++++++++++ 24 true +++++++++++++++ 27 true +++++++++++++++ 28 true +++++++++++++++ 29 false +++++++++++++++ 31 true +++++++++++++++ 32 true +++++++++++++++ 33 true +++++++++++++++ 36 true +++++++++++++++ 37 true +++++++++++++++ 39 true +++++++++++++++ 41 true +++++++++++++++ 43 true +++++++++++++++ 44 true +++++++++++++++ 47 true +++++++++++++++ 48 true +++++++++++++++ 49 true +++++++++++++++ 51 true +++++++++++++++ 52 true +++++++++++++++ 53 true +++++++++++++++ 56 true +++++++++++++++ 57 true +++++++++++++++ 59 true +++++++++++++++ 61 true +++++++++++++++ 63 true +++++++++++++++ 64 true +++++++++++++++ 67 true +++++++++++++++ 68 true +++++++++++++++ 69 true +++++++++++++++ 71 true +++++++++++++++ 72 true +++++++++++++++ 73 true +++++++++++++++ 76 true +++++++++++++++ 77 true +++++++++++++++ 79 true +++++++++++++++ 81 true +++++++++++++++ 83 true +++++++++++++++ 84 true +++++++++++++++ 87 false +++++++++++++++ 88 true +++++++++++++++ 89 false +++++++++++++++ 91 true +++++++++++++++ 92 true +++++++++++++++ 93 true +++++++++++++++ 96 true +++++++++++++++ 97 true +++++++++++++++ 99 true Total time: 8258.760 seconds, Total memory usage: 64.12MB