4x4x4 Q perm

# This is twsearch v0.6.4-174-g3dcbf5b (C) 2022 Tomas Rokicki.
# /home/ben/software/twsearch/build/bin/twsearch --cachedir /media/ben/drive1/twsearch -q -c 1000 -t 48 -M 131072 --moves U,F,R,r,3r 4x4x4.tws parity-pll-Q.scr
Created new moves U2 U' 2U2 2U' 3U2 3U' R2 R' 2R2 2R' 3R2 3R' F2 F' 2F2 2F' 3F2 3F' u2 u' r2 r' f2 f' 3u2 3u' 3r2 3r' 3f2 3f' e2 e' m2 m' s2 s'
State size is about 7.4012 x 10^45 log2 152.375
Requiring 214 bits 28 bytes per entry; 36 from identity.
For quarter turn, rewrote bases to 11
Found 16 canonical move states.
Calculated canonical states in 0.000664949
For memsize 137438953472 bytesize 137438953472 subshift 42 memshift 25 shardshift 33
Trying to allocate 137438953536
Reading /media/ben/drive1/twsearch/tws7-4x4x4-q-128G-o85i923cxc23.dat read in 460.671
Solving s
Depth 22 in 2.51171 lookups 390647476 rate 155.53
 U' r U R' U F' U F U' R U U r r F' U 3r' F' 3r U' F U r
 U' r' U' F' U 3r' F 3r U' F r r U U R' U F' U' F U' R U' r'
 r U R' U F' U F U' R U U r r F' U 3r' F' 3r U' F U r U
 r' U' F' U 3r' F 3r U' F r r U U R' U F' U' F U' R U' r' U
Depth 23 in 17.6968 lookups 2811032184 rate 158.844
Depth 24 in 134.753 lookups 20231256196 rate 150.136
 U U r U R' U F' U F U' R U U r r F' U 3r' F' 3r U' F U r U'
 U U r' U' F' U 3r' F 3r U' F r r U U R' U F' U' F U' R U' r' U'
 U F R U R' U F F r r U' F 3r U' 3r 3r F r r F' 3r U 3r U 3r'
 U r U U r' F R 3r' F U F U' F F U' F U F R' 3r F r' F F r
 U r U U r' 3r U 3r' U' F' U F U U F U F' U' R' F R r' F F r
 U r U R' U F' U F U' R U U r r F' U 3r' F' 3r U' F U r U U
 U r U R' U F' U F U' R U U r' U U r' U' F R' F' R F' U F r
 U r' F F r F' R 3r' F' U' F' U F F U F' U' F' R' 3r F' r U U r'
 U r' F F R' r F' R U F U' F' U U F' U' F U 3r U' r 3r' U U r'
 U r' F' U' F R' F R F' U r U U r U U R' U F' U' F U' R U' r'
 U r' U' F' U 3r' F 3r U' F r r U U R' U F' U' F U' R U' r' U U
 U 3r U' 3r' U' 3r' F r r F' 3r 3r U 3r' F' U r r F F U' R U' R' F'
 U' R' r U' 3r' F U' F U F' R R r r 3r F' 3r U R' 3r' U 3r' F' r 3r
 U' R' r 3r 3r F 3r U' R 3r U' 3r' F r r 3r F U' R U' R' U F' U r
 U' R' r 3r 3r F 3r U' R 3r U' 3r' F r r 3r F U' F' U F' 3r U r 3r'
 U' r U U F U F' U r r U 3r' F' 3r F' 3r U r r 3r F 3r U' r' 3r
 U' r U U F U F' U r r F' 3r U' F U F' U r r 3r F 3r U' r' 3r
 U' r U R' U F' U F U' R U U r r U' R' F R F' U F' U' F U r
 U' r U R' U F' U F U' R U U r r F' U 3r' U 3r' F' 3r F' 3r F r
 U' r' U' F U' R U R' U F' r r 3r' F' 3r U R' 3r' U 3r' F' R r' 3r 3r
 U' r 3r' U 3r' F' r r 3r' U' F U' F' U 3r' F r r U' F U' F' U U r'
 U' r 3r' U 3r' F' r r 3r' U' 3r' F 3r' F 3r U' r r U' F U' F' U U r'
 U' r' U' F' U F U' F R' F' R U r r U U R' U F' U' F U' R U' r'
 U' r' U' F U F F 3r U r r 3r F 3r U' F U' F' U r r F 3r U' r
 U' r' U 3r' F' r r U' F U F' U 3r' F' r r 3r' U' F U' F' U U r 3r'
 U' r' U 3r' F' r r U' F U F' U 3r' F' r r 3r' U' 3r' F F U' F' U r
 U' r' 3r U U F U F' U r r 3r F 3r U' F U' F' U r r F 3r U' r
 U' r' 3r U' 3r' F U' F U F' r r 3r' F' 3r U R' 3r' U 3r' F' R r' 3r 3r
 U' r' 3r' F 3r U' R 3r U' 3r' F R R r r 3r' F U' F' U F' 3r U R r'
 U' r' F' 3r' F 3r' F 3r U' 3r U' F r r U U R' U F' U' F U' R U' r'
 R' r U' 3r' F U' F U F' R R r r 3r F' 3r U R' 3r' U 3r' F' r 3r U
 R' r 3r 3r F 3r U' R 3r U' 3r' F r r 3r F U' R U' R' U F' U r U
 R' r 3r 3r F 3r U' R 3r U' 3r' F r r 3r F U' F' U F' 3r U r 3r' U
 F R U R' U F F r r U' F 3r U' 3r 3r F r r U 3r F 3r' U' F' 3r
 F R U R' U F F r r U' F 3r U' 3r 3r F r r F' 3r U 3r U 3r' U'
 F R U R' U F F r r U' 3r' F 3r F U' 3r' F 3r F' r r F 3r' F' 3r
 F' U' r U' 3r' F U' F U F' r' 3r U F U' r' F' U 3r' F' 3r U' F U r
 r U U r' 3r U 3r' U' F' U F U U F U F' U' R' F R r' F F r U'
 r U R' U F' U F U' R U U r r U' R' F R F' U F' U' F U r U
 r U R' U F' U F U' R U U r r F' U 3r' U 3r' F' 3r F' 3r F r U
 r U R' U F' U F U' R U U r' U U r' U' F R' F' R F' U F r U'
 r U U r' F R 3r' F U F U' F F U' F U F R' 3r F r' F F r U'
 r U U F U F' U r r U 3r' F' 3r F' 3r U r r 3r F 3r U' r' 3r U
 r U U F U F' U r r F' 3r U' F U F' U r r 3r F 3r U' r' 3r U
 r 3r' U 3r' F' r r 3r' U' F U' F' U 3r' F r r U' F U' F' U U r' U
 r 3r' U 3r' F' r r 3r' U' 3r' F 3r' F 3r U' r r U' F U' F' U U r' U
 r' U 3r' F' r r U' F U F' U 3r' F' r r 3r' U' F U' F' U U r 3r' U
 r' U 3r' F' r r U' F U F' U 3r' F' r r 3r' U' 3r' F F U' F' U r U
 r' U' F U' R U R' U F' r r 3r' F' 3r U R' 3r' U 3r' F' R r' 3r 3r U
 r' U' F' U F U' F R' F' R U r r U U R' U F' U' F U' R U' r' U
 r' U' F U F F 3r U r r 3r F 3r U' F U' F' U r r F 3r U' r U
 r' U' F' U 3r' F 3r U' F r U F' U' r 3r' F U' F' U F' 3r U r' U F
 r' F F r F' R 3r' F' U' F' U F F U F' U' F' R' 3r F' r U U r' U'
 r' F F R' r F' R U F U' F' U U F' U' F U 3r U' r 3r' U U r' U'
 r' F' U' F R' F R F' U r U U r U U R' U F' U' F U' R U' r' U'
 r' 3r U U F U F' U r r 3r F 3r U' F U' F' U r r F 3r U' r U
 r' F' 3r' F 3r' F 3r U' 3r U' F r r U U R' U F' U' F U' R U' r' U
 r' 3r U' 3r' F U' F U F' r r 3r' F' 3r U R' 3r' U 3r' F' R r' 3r 3r U
 r' 3r' F 3r U' R 3r U' 3r' F R R r r 3r' F U' F' U F' 3r U R r' U
 3r U' 3r' U' 3r' F r r F' 3r 3r U 3r' F' U r r F F U' R U' R' F' U'
 3r' F U 3r F' 3r' U' r r F' 3r 3r U 3r' F' U r r F F U' R U' R' F'
 3r' F 3r F' r r F 3r' F' 3r U F' 3r' F' 3r U r r F F U' R U' R' F'
Depth 25 in 916.059 lookups 145623672440 rate 158.968