test/challenges/motionek1945.cloog

   1 # example that needs 1945 rays !
   2 c
   3
   4 0 2
   5 0
   6
   7 6
   8
   9 1
  10 21 19
  11 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  12 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  13 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
  14 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
  15 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
  16 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
  17 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
  18 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
  19 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
  20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
  21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
  22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
  23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
  24 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  25 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
  26 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
  27 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  28 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
  29 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
  30 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
  31 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
  32 0 0 0
  33
  34 1
  35 25 19
  36 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  37 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  38 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
  39 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
  40 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
  41 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
  42 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
  43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
  44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
  45 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
  46 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
  47 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
  48 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
  49 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  50 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
  51 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
  52 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1
  53 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  54 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 1
  55 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1
  56 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
  57 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
  58 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
  59 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1
  60 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
  61 0 0 0
  62
  63 1
  64 21 19
  65 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  66 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  67 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
  68 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
  69 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
  70 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
  71 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
  72 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
  73 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
  74 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
  75 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
  76 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
  77 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
  78 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
  79 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
  80 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
  81 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
  82 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  83 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
  84 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
  85 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
  86 0 0 0
  87
  88 1
  89 25 19
  90 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  91 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
  92 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
  93 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
  94 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
  95 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
  96 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
  97 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
  98 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
  99 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
 101 1 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 30
 102 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
 103 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
 104 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
 105 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 1
 106 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
 107 1 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 5
 108 1 0 0 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 38
 109 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1
 110 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
 111 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
 112 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
 113 1 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5
 114 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
 115 0 0 0
 116
 117 1
 118 27 19
 119 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
 120 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
 121 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
 122 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
 123 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
 124 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
 125 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1
 126 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
 127 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
 128 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
 129 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
 130 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
 131 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
 132 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 1
 133 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
 134 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
 135 1 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 30
 136 1 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5
 137 1 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 5
 138 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1
 139 1 0 0 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 38
 140 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
 141 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1
 142 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1
 143 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
 144 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
 145 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
 146 0 0 0
 147
 148 1
 149 25 19
 150 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
 151 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
 152 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
 153 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
 154 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
 155 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
 156 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -2
 157 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
 158 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0
 159 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
 160 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
 161 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9
 162 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
 163 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
 164 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7
 165 1 0 0 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 38
 166 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
 167 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1
 168 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
 169 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 3
 170 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 3
 171 1 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5
 172 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 1
 173 1 0 -4 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 30
 174 1 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 5
 175 0 0 0
 176 0
 177
 178 0