search

Dyalog / ullu

Testing primitives of DyalogAPL
MIT License
1 stars 0 forks source link

merge both tests #5

Closed sloorush closed 1 year ago

sloorush commented 1 year ago

Merging both tests to test all tests with CT and DCT

sloorush commented 1 year ago

One known issue:

t2 fails for dbl and fl with last 2 elements being same... (this does not happen with CT=0)

      unittest.RunTests test_membership 0 1

 #.test_membership.Test_Membership 

 t2   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [FAIL] 
Stopping on failure of:
Test_Membership[39] r,←assert(((((≢data)-1)⍴0),1)≡data∊(¯1↑data))'t2'('for ⎕DR'
      (⎕DR data)'with ⎕CT, ⎕DCT:'⎕CT','⎕DCT)  ⍝ All elements return 0 except la
      st
                       ∧
      data
1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14
      1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14
      1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14 1E14
      1E14 1E14 1E14 1E14 1E14 1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14
      ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14
      ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14
      ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14
      ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14 ¯1E14
      ⎕dr data
645
      ⎕ct
1E¯14
      (((((≢data)-1)⍴0), 1)≡data∊(¯1↑data))
0
      data∊(¯1↑data)
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
sloorush commented 1 year ago

General log with t2 removed:

      unittest.RunTests test_membership 1 1

Options:
      verbose: 1
      stop: 1

 #.test_membership.Test_Membership 

 tb1   for ⎕DR  11  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tb2   for ⎕DR  11  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tb3  for ⎕DR 11 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcross0   for ⎕DR  83  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  163  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  323  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  80  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  160  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  320  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  326  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 CTDefault   for ⎕DR  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 CTDefault   for ⎕DR  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tcross0   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t1   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t3   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 t4   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 CTDefault   for ⎕DR  1289  with ⎕CT, ⎕DCT:  1E¯14 , 1E¯28 :  [OK] 
 tb1   for ⎕DR  11  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tb2   for ⎕DR  11  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tb3  for ⎕DR 11 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcross0   for ⎕DR  83  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  83  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  163  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  163  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  323  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  323  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  80  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  80  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  160  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  160  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  320  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  320  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  326  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  326  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  645  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  645  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  645  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  1287  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  1287  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1287  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  83  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  163  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  323  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  80  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  160  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  320  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  326  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  645  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross1   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross2   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross3   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross4   for ⎕DR  1289  and  1287  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 tcross0   for ⎕DR  1289  and  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t1   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t3   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 t4   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 
 CTZero   for ⎕DR  1289  with ⎕CT, ⎕DCT:  0 , 0 :  [OK] 

Tests completed:  1398 ran, 0 failed test, 1398 successes in 0.862 s
sloorush commented 1 year ago

In https://github.com/sloorush/bb-test-apl/pull/5/commits/bf6498e508608155c4ab6a420d3be1eace399d95 Hdbl is changed because:

So there is a 3 Element window in which the numbers are treated equal when CT value is the default because they fall in the region of tolerant equality(x×1-⎕ct and x÷1-⎕ct):

      Hdbl∊(2⊃(¯2↑Hdbl))
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
      Hdbl∊(1⊃(¯2↑Hdbl))
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
      Hdbl∊(1⊃(¯3↑Hdbl))
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0
      Hdbl∊(1⊃(¯4↑Hdbl))
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0
      Hdbl∊(1⊃(¯5↑Hdbl))
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0

And using the actual CT equality math function((|x-y)≤⎕ct×(|x)⌈(|y)):

      x←(2⊃(¯2↑Hdbl))
      y←(1⊃(¯2↑Hdbl))
      (|x-y)≤⎕ct×(|x)⌈(|y)
1
      z←(1⊃(¯7↑Hdbl))
      (|x-z)≤⎕ct×(|x)⌈(|z)
0