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 k+ < ]S]Sturm_Sequences:threads=2elapsed=39.158cpu=73.360gc=1.924factor=1.877zXZִF! ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5لb51J652u' Rn 8o>iɡUMZJ' mKcE6缬"l) 2^s ;[1 <2얎By~1Y֨dsaw9wٵ qE YbxQxU4dƬc$R(5k/a3ysum)356_֠5Z$„ _v<9tjQwպ;ƵѰn@H/,'~OJf@})1#NwmUżcoJ~Cx3&a,1 Xhm}S[>ekۚgk@sN2<:QŖsy]B&B=} Ճқ֐#b10GG!6Gfʎ͂bc7!M}M=W!g=I+(c3 U;<# zO5i#&4&J Zob\|'nsXNOTRqmbG5'dϾ.| ,ȧrM&(^[bAr%#21gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ nC>[S4`QA5m%od!HfdaZ%[Dе}8;%G` i8|WI! ?g$K6J8S1Z7T/W0Bp/ngYZ7zXZִF! ſ ]ŗXi%;2 we4̫[JR"(AKmHGeik\keIߨ< 8`MBbq"_(OQUO%\͙5\}Y#8܃ϻj|8ToIn"1bJ`Ϸ0c'EߠP:FwBbֺbIJ%o,6ˌ8Cih)?/@Bhk TߣAiP퟉JBܴR40>Iv4j`w;RjNs59PuBU୦t2xio+!*gUjMDWVv=bM*01EJ6BjԞ(n֩ 94}Q`A^8\&(_ZC$ѿ}n{BGM7NaF5!n[<*ml&|Ts^VIB}s%h:sC\W7߭.⍰r{([Z*d).O4@m$tiC@%ZP[FS0*J5Anqԍ1N Z:2h|.c-ֲͭy,2ha/hb9B-v祶nʷRu{G VI>W .yi@pYu 7uh&C2Dl>t1>NUPNqGbl7ޜG xrO H #2S >fU?`1ƈ+_Ǘz_RzQMVz 2u<;^o a(R♁VžeLL~N7'' ςex,Fދwj%an.--QG;̏n鹋퐁Si+BthvN[8:\<(xOLTnxr0uLRMF/Xk8^VCS $$Œ&Lm3)*fJD[A#>ĩ`& 4m <%$ ACUs wE3{_KK&`+==kG? >@xaӊ#I=i8勛iQPqV 4_jQ5,y z _9Ki@2)k]hWnE{cd m(Xf9xJ*;~*18'ڗTI,p+X9jGKG7惣̪de Eda:gdQ#rX;^Êq¯\c"ԕZe8u,rx:0²\eSW]<.(~90$COBI _<X焎4\&\33߃2mmb7=ȡݽ#D.+mm@ys6KɔgBHVR;+aP)sp#k!;of JgyQPuo; duM- {/sdC5e"Ȱ5aNyAR,(F:HFm/.eOGQ&E:f ZzQUm8a$p֭ Ǖ~#4&g^lq֖.JjZ&y7H@?VC.~|2)̭*Ď4stozl{V1d|/-$*AŚd ᭵ss =Q>29, bzcQt2vvW^I@֬%A| %iȦ{pj!~}h4n~0^qN)w()y_2 C̮{xg T0 &hXw*3|~I=I[֭VD |Bךei$y{]aӊj/OnUgYZf64f001be65ef3029e08cc047e54f073b93a4a8419483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f51674ccdea1298938ae04185134417db90c6504e + Sturm_Sequences