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 v D9=xRW%/Ƞ?iszH?#䧢%W[)by]u I7Z))Ҁ%hgn+4LNKK?3]),|@n$&-O0UbJ Ё&#H; V7 T*jy*L$qn>w*3ᱤ΄ wg\3hC7H zf)8^oĦYZ`#3޼Wmj7O23t*S eajgDZs6%6[=kϲ(;H&6j>Zד/=8q[ PeJo g7'fC|T51_KWJ]GU8ɱZ}/ɭ\Rup~y`t.Ìc-Zl [QJBcwzF97g~ $_:S;+1rihȼ=n :樳.UgYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUh7#I.F }uk4lWa텓 / M LS VSWSkxaKF8,X%,ķޕ:<j:G+'FQPcrDVi;:+w ].\*[ћ˦uzWm@J|#Zܕth$dpqڈʧXoMŪ ]'Vdgd3uH]"|K:nDxU~c4Yap}-JuW#ɢ_J>:uqD_ˑWͽ-x GF\0 g &?W95PY 2o8=%+E]_GmP&h^2} douTC&#FO?#ԁ?T$XVXV$sͼ)(lA)QxWVtea@P3}/zǻW|YzbzYP#K|.O"R-^o.{:PpT ]w +m*1KL%.blsb0?>_цuym]7 FncbC\ ۼ+nO]] 805Ok_zt5YW)~V5;BF®0L?D|qqӟtiTw\E3;iH5HAܷ-b@Y=pU)Dv[C-lt6fr3ŷ By Ѧd~FܤW4O  uBƲn;Kh^k f ~? f 00^zmyFpiij.ˌC5&%ddMd#.}I|*t ۖ8׶Ym Oat8C쒂jEDu(>9zwڤ18.9`ބdr\߇BC1 ŚFn%c?&>RSǍ0*Z؋/JS{{n_1GaT0* 6Z4INnIKr쒝A\Y*W1j]Y^M)3 f jN E=w6TPy^a ,;l5Y@I-Bxن)~#/.|Or#w7Q$ q[]5,U"*rčB-cfމA3D콮S=Ǻ+UrqŽߔ~p* Rۢ2y>sca}'"֨IjYhvNA"PG;:\3QB1oPߪ7*[nQ%ﰊ bޟ'u JBB+8B!>G/Su=  ΧbWo^8{1eJ^ (&XV.E1́n_?CmY[j?$ lM*m.-~1VHc d7IseH8YCYª伴Nv 8'V]rhibݣE/Hq Bv/]fyA h C]aXbϘozƺ mL=_M>۬'icGz#fH߁T5?*(R ,6[k2"kU^{dM5Jky{k :ODc{:wvL&v[;M G= \N|m2@Z7pSMW(up2 1tAf@#s3jA-X6rw-߭fb8]H !ʪm_OxwƔ%J[14>cEK l#P0OT+P`C{yImjY&ģ;iq2[ #)yR:BgOOևNYZ6H =hTKB&fYVA0O@L,Ub6 [xQeWt_<^[st~q9/&{fр C}{PzG6F&HrNjś'eJ޼ob_;[" %ٯ"~0zf~5*] b<~W+ʲQR~Hy DhuCGFöԝL J]|Š:RABo@HvuJ#L}ݐ}D!'N0˘Qd-Œ>y^Asf5_둖6v gYZ7766dc8d45def4a86c5d78c5d348e5fe40c4201c31bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1