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 @? $ ]]HOL-Computational_Algebra:threads=6elapsed=33.679cpu=99.244gc=3.928factor=2.957zXZִF! (8?]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(4Q=fݙ7Rd{̏ZʭHKce\0n>KL&M`k6Db7tNi [{]~@ @'uDto@H'H1nY" |9Lv,>_ഠr<,zT)F M(;諡e+TmۊJXMy*??bbY*2dcTRNRS8Ӣ^-R6)ru2)k>US{ Ȃ ? HOL-Computational_AlgebraGN'DTv#t-X;, H wfԢ1ES'=+Y{B*sDdo{wfˋ$nYmF GkӴ.䣘|{\V)=v8ڑ!a並216UBZNFEx4R f}4R#ҙ6~ ;9\JY X02Ci$f}~5sΉücD)+r,YJa6;k*Rږ'#k.S- g/+3?ȿGeS޷?ڛH3ɺn8Y<텈1jћGIʄ.9 D< 7^2ݓQ';f:|{y˶\ְ>#nb|{ዡțOL,V䙿.HGY@ oifxVgFDk:cW ujT"VE΅b*c6I<ߐUΝAn9l'kX~K+w X)2`уЛЌ$k_H>Ql`> MWnY 8R A74Pɛw) yV9ro?&?]PP\gYZ7zXZִF! /]ŗXiɟ1&S[~ b<V8I5 y^;K41* n8&4Q.!@yFӅC츩tޘ58P0Dg:ٵ 9/!OryBֈԇܴ),DgV2XlI=:#K9{]*~}\Bqc~݊:Ihܔu8 م7Xf-/j 8.Fs\Bn`pΈzEkL9;W/f*uخǼ{+d6yhȸ}+y* ! foՋʋԥAL [ѻuۼ,oՓ!Y.eđtXSeқ0qd-Zx'"by^Dppv9@?Պy^4|y'@DӾ 3e039HU<^ƻvیX!{m27o!pibTk^('\=dj %(~=/X모U9Bb =A_l egWmV`+9"}[t0Z#֟wӧޟ%y =jr eE_UE\qkϯ+;ޠvwC_D+Gn 8 Ucv}4b 3e!e.>-Xro`ԭ )m2&P-0=,O{0?SClQy}Jn6O5n/gyiOrU3]w-#AOy(꼱L!mVUL˜bųB{J 4p͠eIGѷ vhM"o5QKTE$ )8nOoJ:oL  PRbcVSY&Y)*, # Mo|'I˿$|8y`Gz'+~a6Mo\€PYK#(cQT4zh,9MK9N ނ$ 3]?2ȸ80k}Dͨq,{D&W鏬^Ty S+,bz^ƷOL|S,NZnQ8`H47_%sXk u#YbYWj?(]d.848[+fXgYZ1f73f534e0077170662f1420ab8f6cb65d5180e80d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a05234185929f9c8e2fae459c936d0299b375445fc6a129