SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1 l, ]5]Linear_Recurrences:threads=2elapsed=14.890cpu=29.356gc=1.560factor=1.977zXZִF! ]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29Bo4g{*ǿ|QUr@t]H fb4npX`I;WFHHct;GJݶi*aj6CӬz2+A s`Kf+N.g}yáHj-kx N~ʃ1h )oIʙ=: WRٴcqgR q?#lND }c/5ƣ2"h[\*.N+rͥڶ*M'ZTިC<9d-6О+5Bs@PhnFk"r<&OͥՄ7V}_c @"GEar׎lOj]vZ0%z1#m*EPΔ eU J(kf5s jϑt1\[P<&3J*BϩґO[ccє~'J e=mkgy)D|(;+cIPX=,x/nA&<0\k%EcgYZ7zXZִF!  -]ŗXiɟYW׿5-3x^jxͼʳ`O.cbq!9-*y{s󆢳Oi!QY]H(;;v(pp D(V /E d.g&5DDW-QcyxR,Kz C]7/sů6̖?KO6'?("u4&M.7`(h`=uRF]߄>mƑ?0>ڿt7τbYR(m0Bh(^RgYZ7zXZִF! V]ŗXi%920"hm7;gTa|='o W-V"`I?yݻq+Jvf ĺ]Hh:^5m4\'5}EUO&75JdU49 k]k&UXqi45W9ܻ(dO F^h BSD(C.^hBf[K= *M*j<٠A- şu΅]ҤrrЬz=İ űY$e`<.8m&MusntauhcX6~ߪDz=i\oHx6b2kANȄU LPxW[oʠvDkj ,k <ek"0?,IEGKL[t`[Yl{‚y[hW?* ,>AQ>'3(47O?hN%3'ziKBx\*r5hhË(gwsj=>$ p8m2붗Zm}Te_tOv<{91d gvDpZW;+\_CsꄕZ ( Y YBt-lq$uq3A"P;}M\e Jx.煱 ,&l ^M?I*%Qax@0\E53O+'*+dRp\8Bc#dR,7sU(`K[fG7+rDdtĿ7FF,46m0{z4 #Y>9f_RYm>ɥ-g/ %Rr'|ciBՌA1㴒'!ة_R/ l\ޘ[RRm$RSRE>f:orkR3636;*ؖ d} 08[T亞^ Y<ɠF0:X=flys _9CIb$ ӛd, 9up}Cpa}$ceLlZbnAצɜA7RO }-KUg+r7e0X+'Q}`ZԪdAVoy8Ho@O ( #:Hb\CB\ ح3gYZd761d7fec8bb5380e04365ef5660cc0a8b8ea3fbfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 44b0cfc5db7f19bdb69739da20a64401a5e77014 8491750690a8d11e9e3b02951edf53ea46b1b345 da130666eeb4c61a1fa18c0c29d6d9f0db422dbd 05552397f6c71f11300ce8aeee1603ba21330985 53a6f4b588135593d98b5310d1121f60da5a7082 31a8140433866b31cfc24cdee3c3e55c9870b9e1 2bcffbcbdd7e68e777d1eb18424a9f20f0461652 71decd6f3db4f4c89bcc8a8b701665d19009c50b 5e5d417d2fcde74ac015447e3b83c7be3548a60b0328c25ade918beb180311e51e7058b1c78da01f 1 Linear_Recurrences