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  4 , ] pGCL:threads=2elapsed=34.903cpu=65.784gc=2.052factor=1.887zXZִF! 3]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8w4ej}09vEHR_^#v_bܶa//W"jjt`Z|RM\TjMy!y6!rigO G;^2{yfΌfQ FD 2j,~/[v]v7863#(SyxK4"؋9qC@dN`gڭ7{õiiz7 S2q33Gt lfVf8@Kgyz7k8L xfHÅdl`ǀ  pGCLrV#tT`_ ,Ǜd֍C};+@Eh4)fZ m`AZ;'6NwA+#-䡗}o)^t5E/D2z 2/o)D {=O!ʏ5S7Ϫ>n`߳^bp|]kjX5'(yEt[ցŠ9U=*p`mG&[fs!Hu-,47/yx5Ւ#Pw;7/_*OT E璧cUq$ gБX<|:-E%Qմw[]=\ƾoınyġU͒ج׀]NhPO{!wĎ?0l{BhHBu#܃q'@r Ӵ=ODTGA-ՑݹW\TeX!-)#Oߔ/zuH'd;woHOY:# )$!PlJ~{c[~pc Lu2]>&;B1~Ǎ<dgYZ7zXZִF! L]ŗXiɟ: e=o݆$+Ϩw(+S5uc|1A633GE}Kl -L3ȴ̈́) {q)xwZX!joVjswm8X\\[gyNy=u/)sUe'HfN>(ܷ[c`[.YoXY|QqLGez?vSS4-2*ױ%w[tN2kkkG@}q(Bjk7jCEO`{j!z2H](9Q>s.㐲tU3kEx>ϟ_*2!NH_(*i7#mXrz (ގT쒤8A&ձQ!'oDa",ƶLE{gc;#e%>*NuNyط֠ьswJb&i'JCI_kqRƼ4Ruw/8Ɏ.Rwb8J5{nek>aW=%U%*U fV:W{ 2΄b Y7>hGTl sSdW۸^ǔ%;}X6l(P Xir%<gs yX Lkֶ)"p#2K(;6]`7 m ?X7WB`4rQn.0f/ K-*]1|_K+ND6qzckԷi*pGv :js>}P&lGci%a2e۵tq)$3%MT4kK<%kq/ QW {cu|,O)v2 1654;Hrt-4lWN\:j@>Û1q}=G09P"S#R~ﲜpulCtkYSañXCFrO Be_D.(+ݜZ_Mp1ždAESVQx@΂K!9dFˋ,IQxHj0\18 {ȓCܴl)$[:~2);6Ih=*hE>1s|Bg]p|Fmzc*xP&փ#;%Wޑ2~ʸ\T:_%jKYi܋![7:4kmV11 0sj+dǫ;*ڱ13 !c 'հ]~UZ-%ʔF(bJD v1^V!Ot49ʨ`ӍbJũVc){ca|E0;TkO$C׾!fX"5{s2¼ޚ Esri"<eW8S?$lOܰ qXA zNs?zT ص:N+#0lj໹ѫh0֏ Y?-' hyȳnO ==j3ut|eB5q[Ps`?S y#6.̧ b֞a\(RPX1Oʽ/4U޽$#&{VW*Bi:#4D?d) F;͚SmOH\JOAu &c^aɤ L4U*=⮴iQrƒd~W)8zT7κ _-\ *$OR6鶽q,q(# t#tk_9$8pDw+i900MQ(ܠ/E_,w1s{"EA9U]u\[07^ƅ{5mna6 JKy#74s`rr6i_9rFSAZ Z #y@G(SW;"KwC*gh1kT"y)Sz{֭bMAJOh虜X<gup;mZxZ#HeTBU2`FsV6: T}Łۯ_q,13@\,{JwX@C<ɶ EˌML.&eOтógYZ936750a5663faa105ca6405b1a4f791bb759437e19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b