SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 + l S/ Verified-Prover:threads=2elapsed=9.323cpu=12.536gc=0.356factor=1.347zXZִF! I ]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyշfQ#ڧu`!5MJ~ҊޯԄtRr)&z4*o ,{}6hCn9~F -c;)BA>XpN"DZ;qORi@(s|:q W?_ⵤfSNn) ׆$s-TSPF\a`W0~,⺌1LaIF75_JTu>ssM ^"DZr*"y!\x|S&Ԝdq>Q2lQus3KFRTvc  + Verified-ProverM!xWg)\?X%|.n0* [u&PL[$!Q8Xp&Ol1eo#R2׿(M#D;Y,S(W[2LٔH7oA\:{apLQ bTaWWPI'_uz B rBq ]Űbվ,f<<NQR mR5߹ Z5 bm54C/;Ovz镜-!`ҏ]_oސ͍2"_:RgSЈ@=JSצhwt$q޻L:4bY82K* ڸk +n^B kzȎ2̴).(G.4UᴀyHpkuJ\DM|| kx䓯5F]gnyO<iʄKUo΃pm.106$fkފڙd06;ͨijuhI1yo]^>c{օY}B8l P[ ͛BiR,j{J޷&&IP+7(`r!IeHfJbͭ5CE;/yoDgYZ7zXZִF! 8*]ŗXi% -ڕeMvI/ph %9I$| ȌE3Ibn$;geۥx^ܱUsxs{*85еަgyZ"b'z+ǧtCHYt0I/V[;rU~搋:xqD+%#Y}w &LhW\q0|o^$ ֝ 6]%j?@ Efa92rLNbd7<(b؈V=8joOH<-I9Kַ}(bCz!3i#IF֫@ x b1<\՜%2H6B\xҹR>f WkАPqVճ-KcG;ǽ`ZS:2R@[?>aюB<@>o?6.(Mw #զRr$6 m`>RȘsFGΞ$V}"D_B;lN29i H[RV9f*!󏯱;b`XR09!0 ̄k"[d:nf!K_Y3;0z^+{{jw Lm R~+0|H|@'HLyeVwbLKnOrڝbzPzNg斪b4U&X26(qiZӭBlDՇorH/kCd85U Vݣfj}cr5B8/HTBBT_]O: