TFPT scientific source excerpt Original repository path: experiments/theory-contracts/global-g31-lattice-lift-20261023/CLOCK_LIFTS.tsv Original file SHA-256: ff039702142160b1aeab24d98499484fb9d70b2d4145bb32493d04c58cd0849d Inclusive original lines: 1-63 Line numbers below refer to the original source. This bounded excerpt is source evidence; it is not a new proof/checker run. Conversation metadata and personal execution details are omitted where indicated. 000001 | monodromy_id clock_id based_lifts kernel_conjugacy_classes full_isomorphism_classes 000002 | 0 3 65536 2048 212 000003 | 0 4 65536 2048 118 000004 | 0 5 65536 2048 176 000005 | 0 6 65536 2048 118 000006 | 0 9 65536 2048 212 000007 | 0 10 65536 2048 118 000008 | 0 11 65536 2048 176 000009 | 0 12 65536 2048 118 000010 | 0 14 65536 4096 134 000011 | 0 15 65536 4096 134 000012 | 0 16 65536 4096 134 000013 | 0 17 65536 4096 134 000014 | 0 18 65536 4096 216 000015 | 0 19 65536 4096 216 000016 | 0 20 65536 4096 216 000017 | 0 21 65536 4096 216 000018 | 0 22 65536 2048 224 000019 | 0 23 65536 2048 224 000020 | 0 24 65536 2048 224 000021 | 0 25 65536 2048 224 000022 | 0 26 65536 2048 208 000023 | 0 27 65536 2048 208 000024 | 0 28 65536 2048 208 000025 | 0 29 65536 2048 208 000026 | 0 30 65536 2048 60 000027 | 0 31 65536 2048 114 000028 | 0 32 65536 2048 114 000029 | 0 33 65536 2048 60 000030 | 0 34 65536 2048 60 000031 | 0 35 65536 2048 114 000032 | 0 36 65536 2048 114 000033 | 0 37 65536 2048 60 000034 | 0 38 65536 4096 134 000035 | 0 39 65536 4096 134 000036 | 0 40 65536 4096 134 000037 | 0 41 65536 4096 134 000038 | 0 45 65536 2048 212 000039 | 0 46 65536 2048 118 000040 | 0 47 65536 2048 176 000041 | 0 48 65536 2048 118 000042 | 0 51 65536 2048 212 000043 | 0 52 65536 2048 118 000044 | 0 53 65536 2048 176 000045 | 0 54 65536 2048 118 000046 | 12 3 65536 2048 280 000047 | 12 4 65536 2048 216 000048 | 12 5 65536 2048 312 000049 | 12 6 65536 2048 272 000050 | 12 8 65536 2048 216 000051 | 12 10 65536 4096 308 000052 | 12 11 65536 2048 320 000053 | 12 12 65536 4096 456 000054 | 12 13 65536 2048 280 000055 | 12 14 65536 2048 216 000056 | 12 15 65536 2048 312 000057 | 12 16 65536 2048 272 000058 | 12 17 65536 2048 288 000059 | 12 18 65536 2048 216 000060 | 12 19 65536 4096 308 000061 | 15 1 16384 256 76 000062 | 15 2 16384 256 76 000063 | 15 3 16384 256 76