0..25 0 0 17 14 13|0 1 0 18 4|0 1 1 0 18|0 1 3 0 11|0 1 4 0 12|0 1 4 11 4|0 1 13 4 17|0 1 17 0 12|0 1 17 8 12|0 2 0 13 0|0 2 0 17 0|0 2 0 19 4|0 2 14 8 13|0 3 3 8 4|0 4 6 11 4|0 11 0 3 0|0 11 0 19 4|0 11 1 0 13|0 11 11 14 22|0 11 14 18 0|0 11 20 11 0|0 12 15 11 24|0 13 0 13 0|0 13 4 11 4|0 13 4 13 19|0 13 10 11 4|0 17 0 2 0|0 17 0 8 13|0 17 0 12 20|0 17 0 17 0|0 17 3 4 1|0 17 4 4 10|0 17 4 13 0|0 17 4 19 4|0 17 14 12 0|0 17 20 11 14|0 22 0 17 3|1 0 2 14 13|1 0 3 14 13|1 0 19 14 13|1 4 5 8 19|1 4 13 8 13|1 4 19 8 18|1 11 14 17 4|1 14 18 20 13|1 17 0 2 4|1 17 0 21 0|1 17 0 21 14|1 17 0 25 4|1 17 4 1 0|1 17 4 12 4|1 17 4 21 0|1 17 14 12 0|1 17 14 18 4|1 20 17 4 19|2 11 8 13 4|2 11 8 19 4|2 17 14 17 4|3 4 12 8 19|3 4 13 8 12|4 12 4 13 3|4 13 0 19 4|4 20 17 20 18|8 3 8 14 19|8 13 4 17 19|8 19 0 11 0|11 0 3 4 17|11 0 18 4 17|11 0 24 4 17|12 0 13 13 24|12 0 17 0 11|12 0 17 10 0|12 4 19 0 11|12 14 13 0 11|13 0 12 4 17|13 0 13 13 24|13 0 18 0 11|13 0 19 0 11|13 0 19 7 4|13 4 4 3 18|13 4 4 11 3|13 4 4 18 4|13 4 13 19 0|13 4 19 19 24|13 4 22 4 11|13 14 3 0 11|13 14 13 4 19|13 14 13 24 11|13 14 19 0 11|13 14 19 4 17|14 1 4 18 4|14 2 7 13 0|14 12 8 13 0|14 13 18 4 19|14 17 0 14 13|14 17 8 4 11|14 18 4 11 0|14 19 19 0 17|14 21 8 11 4|14 21 14 8 3|14 21 20 11 0|14 25 0 17 10|17 0 1 0 19|17 0 2 14 13|17 0 12 4 3|17 0 13 6 4|17 0 18 15 24|17 0 19 4 3|17 0 19 4 17|17 4 1 20 3|17 4 1 20 19|17 4 2 14 13|17 4 3 0 13|17 4 5 4 11|17 4 6 4 18|17 4 13 4 18|17 4 13 10 24|17 4 15 4 22|17 4 17 14 22|17 4 17 20 13|17 4 19 0 13|17 8 0 19 0|17 14 1 8 13|17 14 3 6 4|17 14 15 4 17|17 14 19 0 11|17 20 3 0 18|18 0 11 0 11|18 0 11 0 24|18 0 13 3 24|18 0 24 0 11|18 10 4 4 19|18 14 22 4 11|19 0 19 4 18 int X0 int X1 int X2 int X3 int X4 int X5 int X6 int X7 int X8 int X9 or(ne(X0,X1),or(ne(X2,X3),or(ne(X4,X5),or(ne(X6,X7),ne(X8,X9))))) int X0 int X1 int X2 int X3 int X4 int X5 int X6 int X7 or(ne(X0,X1),or(ne(X2,X3),or(ne(X4,X5),ne(X6,X7)))) V0 V5 V1 V6 V2 V7 V3 V8 V4 V9 V0 V10 V1 V11 V2 V12 V3 V13 V4 V14 V0 V15 V1 V16 V2 V17 V3 V18 V4 V19 V0 V20 V1 V21 V2 V22 V3 V23 V4 V24 V1 V5 V2 V10 V3 V15 V4 V20 V0 V6 V2 V11 V3 V16 V4 V21 V0 V7 V1 V12 V3 V17 V4 V22 V0 V8 V1 V13 V2 V18 V4 V23 V0 V9 V1 V14 V2 V19 V3 V24 V5 V10 V6 V11 V7 V12 V8 V13 V9 V14 V5 V15 V6 V16 V7 V17 V8 V18 V9 V19 V5 V20 V6 V21 V7 V22 V8 V23 V9 V24 V6 V0 V7 V10 V8 V15 V9 V20 V5 V1 V7 V11 V8 V16 V9 V21 V5 V2 V6 V12 V8 V17 V9 V22 V5 V3 V6 V13 V7 V18 V9 V23 V5 V4 V6 V14 V7 V19 V8 V24 V10 V15 V11 V16 V12 V17 V13 V18 V14 V19 V10 V20 V11 V21 V12 V22 V13 V23 V14 V24 V11 V0 V12 V5 V13 V15 V14 V20 V10 V1 V12 V6 V13 V16 V14 V21 V10 V2 V11 V7 V13 V17 V14 V22 V10 V3 V11 V8 V12 V18 V14 V23 V10 V4 V11 V9 V12 V19 V13 V24 V15 V20 V16 V21 V17 V22 V18 V23 V19 V24 V16 V0 V17 V5 V18 V10 V19 V20 V15 V1 V17 V6 V18 V11 V19 V21 V15 V2 V16 V7 V18 V12 V19 V22 V15 V3 V16 V8 V17 V13 V19 V23 V15 V4 V16 V9 V17 V14 V18 V24 V21 V0 V22 V5 V23 V10 V24 V15 V20 V1 V22 V6 V23 V11 V24 V16 V20 V2 V21 V7 V23 V12 V24 V17 V20 V3 V21 V8 V22 V13 V24 V18 V20 V4 V21 V9 V22 V14 V23 V19 V0 V1 V5 V6 V10 V11 V15 V16 V20 V21 V0 V2 V5 V7 V10 V12 V15 V17 V20 V22 V0 V3 V5 V8 V10 V13 V15 V18 V20 V23 V0 V4 V5 V9 V10 V14 V15 V19 V20 V24 V1 V2 V6 V7 V11 V12 V16 V17 V21 V22 V1 V3 V6 V8 V11 V13 V16 V18 V21 V23 V1 V4 V6 V9 V11 V14 V16 V19 V21 V24 V2 V3 V7 V8 V12 V13 V17 V18 V22 V23 V2 V4 V7 V9 V12 V14 V17 V19 V22 V24 V3 V4 V8 V9 V13 V14 V18 V19 V23 V24