1 [ 144, 0, 0, "6^4 12^10", 24 ]             <- [ [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], 1, 1 ]
 11[ 72, 0, 0, "3^4 12^5", 12 ]              <- [ [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 1 ]
  57[ 9, 3, 0, "3^1 6^1", 3 ]                <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 3 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
  58[ 6, 0, 0, "1^2 4^1", 2 ]                <- [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
 15[ 18, 0, 0, "6^3", 18 ]                   <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], 1, 1 ]
  57[ 9, 3, 0, "3^1 6^1", 3 ]                <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 3 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
  60[ 2, 0, 2, "2^1", 2 ]                    <- [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 54[ 48, 0, 0, "2^4 4^10", 8 ]               <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], 2, 3 ]
  58[ 6, 0, 0, "1^2 4^1", 2 ]                <- [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
2 [ 192, 0, 0, "1^8 3^8 4^10 12^10", 8 ]     <- [ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], 1, 3 ]
 10[ 96, 0, 0, "1^4 3^4 4^5 12^5", 4 ]       <- [ [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 1, 3 ]
  55[ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 1, 3 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
  58[ 6, 0, 0, "1^2 4^1", 2 ]                <- [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
 14[ 24, 0, 0, "1^2 2^2 3^2 6^2", 2 ]        <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 1, 3 ]
  55[ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 1, 3 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
  59[ 4, 0, 1, "1^1 3^1", 1 ]                <- [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
3 [ 48, 0, 0, "6^8", 48 ]                    <- [ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], 1, 1 ]
 12[ 24, 0, 0, "6^4", 24 ]                   <- [ [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 1, 1 ]
  56[ 12, 0, 0, "3^4", 12 ]                  <- [ [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 3 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
  60[ 2, 0, 2, "2^1", 2 ]                    <- [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 13[ 24, 0, 0, "3^8", 24 ]                   <- [ [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], 2, 3 ]
  56[ 12, 0, 0, "3^4", 12 ]                  <- [ [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 3 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   83[ 3, 3, 0, "3^1", 3 ]                   <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
  59[ 4, 0, 1, "1^1 3^1", 1 ]                <- [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
   81[ 4, 0, 1, "1^1 3^1", 1 ]               <- [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ]
4 [ 600, 0, 0, "5^120", 600 ]                <- [ [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 2, 3 ]
 38[ 300, 0, 0, "5^60", 300 ]                <- [ [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], 1, 3 ]
  74[ 15, 3, 0, "5^3", 3 ]                   <- [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
 51[ 12, 0, 0, "1^2 5^2", 2 ]                <- [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  80[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
 67[ 20, 0, 2, "5^4", 2 ]                    <- [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ]
5 [ 360, 0, 0, "1^10 2^10 5^22 10^22", 10 ]  <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 1, 3 ]
 48[ 180, 0, 0, "1^5 2^5 5^11 10^11", 5 ]    <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 1, 3 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  82[ 3, 1, 0, "1^1 2^1", 1 ]                <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
 51[ 12, 0, 0, "1^2 5^2", 2 ]                <- [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  80[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
 52[ 72, 0, 0, "1^4 2^4 5^4 10^4", 4 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 1, 3 ]
  80[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  82[ 3, 1, 0, "1^1 2^1", 1 ]                <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
6 [ 360, 0, 0, "3^10 15^22", 30 ]            <- [ [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], 1, 1 ]
 49[ 180, 0, 0, "3^5 15^11", 15 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 1, 1 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 51[ 12, 0, 0, "1^2 5^2", 2 ]                <- [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  77[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  80[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
 53[ 72, 0, 0, "3^4 15^4", 12 ]              <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], 1, 1 ]
  80[ 12, 0, 0, "1^2 5^2", 2 ]               <- [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
7 [ 480, 0, 0, "6^8 24^18", 48 ]             <- [ [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 1 ]
 41[ 240, 0, 0, "3^8 24^9", 24 ]             <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 1 ]
  72[ 10, 0, 1, "1^2 8^1", 1 ]               <- [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 60[ 2, 0, 2, "2^1", 2 ]                     <- [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
8 [ 480, 0, 0, "6^8 24^18", 48 ]             <- [ [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 1 ]
 42[ 240, 0, 0, "3^8 24^9", 24 ]             <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 1 ]
  73[ 10, 0, 1, "1^2 8^1", 1 ]               <- [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 60[ 2, 0, 2, "2^1", 2 ]                     <- [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
9 [ 96, 0, 0, "4^24", 96 ]                   <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], 1, 3 ]
 54[ 48, 0, 0, "2^4 4^10", 8 ]               <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], 2, 3 ]
  58[ 6, 0, 0, "1^2 4^1", 2 ]                <- [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ]
   82[ 3, 1, 0, "1^1 2^1", 1 ]               <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
 79[ 8, 0, 2, "4^2", 2 ]                     <- [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ]
16[ 96, 0, 0, "12^8", 24 ]                   <- [ [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], 1, 1 ]
 60[ 2, 0, 2, "2^1", 2 ]                     <- [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ]
  83[ 3, 3, 0, "3^1", 3 ]                    <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
 79[ 8, 0, 2, "4^2", 2 ]                     <- [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ]
17[ 1872, 0, 0, "3^24 24^75", 72 ]           <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 5, t^2+3, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ], 1, 1 ]
 62[ 78, 0, 0, "1^6 8^9", 3 ]                <- [ 8, 5, t^2+3, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
18[ 1872, 0, 0, "3^24 24^75", 72 ]           <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 5, t^2+2, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ], 1, 1 ]
 61[ 78, 0, 0, "1^6 8^9", 3 ]                <- [ 8, 5, t^2+2, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
19[ 864, 0, 0, "1^16 2^16 8^102", 16 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 3 ]
 66[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
20[ 864, 0, 0, "1^16 2^16 8^102", 16 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 3 ]
 64[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
21[ 864, 0, 0, "1^16 2^16 8^102", 16 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 3 ]
 63[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
22[ 864, 0, 0, "1^16 2^16 8^102", 16 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 3 ]
 65[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
23[ 864, 0, 0, "3^16 24^34", 48 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 1 ]
 63[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
24[ 864, 0, 0, "3^16 24^34", 48 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 1 ]
 66[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
25[ 864, 0, 0, "3^16 24^34", 48 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 1 ]
 65[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
26[ 864, 0, 0, "3^16 24^34", 48 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], 1, 1 ]
 64[ 36, 0, 0, "1^4 8^4", 2 ]                <- [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
27[ 640, 0, 0, "8^80", 64 ]                  <- [ [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 3 ]
 73[ 10, 0, 1, "1^2 8^1", 1 ]                <- [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
 72[ 10, 0, 1, "1^2 8^1", 1 ]                <- [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
28[ 600, 0, 0, "15^40", 60 ]                 <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], 1, 1 ]
 67[ 20, 0, 2, "5^4", 2 ]                    <- [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
29[ 441, 0, 0, "7^63", 49 ]                  <- [ [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], 1, 3 ]
 75[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
 76[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
30[ 360, 0, 0, "1^10 2^10 10^33", 10 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 3 ]
 69[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
31[ 360, 0, 0, "1^10 2^10 10^33", 10 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 3 ]
 70[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
32[ 360, 0, 0, "1^10 2^10 10^33", 10 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 3 ]
 71[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
33[ 360, 0, 0, "1^10 2^10 10^33", 10 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 3 ]
 68[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
34[ 360, 0, 0, "3^10 30^11", 30 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 1 ]
 69[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
35[ 360, 0, 0, "3^10 30^11", 30 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 1 ]
 70[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
36[ 360, 0, 0, "3^10 30^11", 30 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 1 ]
 71[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
37[ 360, 0, 0, "3^10 30^11", 30 ]            <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], 1, 1 ]
 68[ 24, 2, 0, "1^2 2^1 10^2", 2 ]           <- [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
39[ 240, 0, 0, "1^8 2^8 8^27", 8 ]           <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 3 ]
 72[ 10, 0, 1, "1^2 8^1", 1 ]                <- [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
40[ 240, 0, 0, "1^8 2^8 8^27", 8 ]           <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], 1, 3 ]
 73[ 10, 0, 1, "1^2 8^1", 1 ]                <- [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
43[ 225, 0, 0, "15^15", 45 ]                 <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], 1, 1 ]
 74[ 15, 3, 0, "5^3", 3 ]                    <- [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
44[ 189, 0, 0, "1^7 2^7 7^8 14^8", 7 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], 1, 3 ]
 76[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
45[ 189, 0, 0, "1^7 2^7 7^8 14^8", 7 ]       <- [ [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], 1, 3 ]
 75[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
 82[ 3, 1, 0, "1^1 2^1", 1 ]                 <- [ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ]
46[ 189, 0, 0, "3^7 21^8", 21 ]              <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], 1, 1 ]
 75[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
47[ 189, 0, 0, "3^7 21^8", 21 ]              <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], 1, 1 ]
 76[ 9, 1, 0, "1^2 7^1", 1 ]                 <- [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
50[ 144, 0, 0, "3^6 21^6", 18 ]              <- [ [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 1, 7, t+1, [ 24, 0, 0, "1^3 7^3", 3 ], false, 1 ], 1, 1 ]
 78[ 24, 0, 0, "1^3 7^3", 3 ]                <- [ 1, 7, t+1, [ 24, 0, 0, "1^3 7^3", 3 ], false, 1 ]
 83[ 3, 3, 0, "3^1", 3 ]                     <- [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ]
