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