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 /tLT ] BDD:threads=2elapsed=70.449cpu=130.504gc=2.676factor=1.857zXZִF! A]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>c62yamNQSKN,g܏(&s/VQ%y|Rה{\|*r&')@+SRB[!RFszEE{d>`U˔gl*kXk_cJ+((J>GZ]FcG9stb'DB "o g)Y'.v 7E]6+@8f\TgM4cq`vg`5<[).XV¤>UJ_w #Wz8ўsrnȍC{j<=+n9.C:w+rZ B4M\w9Q⤊S[qLdR,^&zGº'{N쨞ٷ3ՑAYLsmN2#loybCRiU_J@g dU5[(9EEy ϽB[Kh+eT=W JFBy=͖j'5rz\AY0X\ @ECnm6Uk*~  SUkJlݰN!nMhYz2 Dn2ޘ\߈wz~VretFht ^b __ĔidԂ gq=jQŀvzΜazT7N cnC۾=hٔRhh§xZL<2S8e{+XcsqV7E+Eb¤(G-e$O6V3.טMF,'q~y'n?KO~]5;2yni oL5AU}]\nxfS[J@k&$z#@'$ rT^UJhYCLK(V$kk0r` WG:exba k'Zٌ oUI#KzZT=D$#};DpY2gJJtHc*9;f6eS5.dț(Hb?QB'͸=S!Hbd.@-$цay/ɉ[(sL5ZwG?X|"i9SD2,ޖԺt3 lvh23sjx T⴯wf,2])nodPy @XcfY<s<`INP]chFG1 sɄ\3 ÃSgYZ7zXZִF! u]ŗXiɟיvL6 SczP6oa{ﺫdʜ)CMB?a6d_bV)A?R+abG 5ˋgyޠPq[Y[r-ݡѝh;sYnfF2(cptiܫ ,O6,DŽaZbiC vsu* ~bfmr5vZO  {Laa8gYZ7zXZִF! ]]ŗXi%9(SN ]-lw5io5p>bk#ˎs>r`S*&ž.UKP Rd'Db,3 bzK`q6^h .84@Q  BDDPӆ|A@X7qk;TʅwÖ̡mo7rzqCL?`=x/2fod2J32M+T>bN.ޒ:6mɸ鞓g8_0à)U3~OAҀ/F$ڽo0ۭ}! !w?R@z7N%9ppUAQ~>mhk!.nQha}Q~؞_OF?w RSp̃|hy8`Z.> |bӖz{uH)ERw\\Th]t U+a)"}48܁}mU[H{'~3۴-ﲪ_2h'r>%f|y}Y/&/j ck$l k2"']2n/BeGx"Ke5Z;kCmS/"e``u;EMt[>}Ӥ\ cknQ^ݕq|WG-sޢ7HpUO\ { 5q%y WR"Cih8ԷNp,ǬHt&)Vb3'?G< 9$k|3-ބڴ'7rio2iѵnWdE4L?:&}p[c]%.rTisWzbw/)A|Nka݉r%$ iag0l?[ zlu6cN|,]S`yK;޺)\cXuE"16?Z`c'F2nALla7c+Zkߝ9i|D@>'\XlىY78w[wZ85^qEٯ^uOZk zf:LO$e9eϙWI_}䟥leq| 㲑C\%l@R.2D s J%JX*"0 ]\p;to\%jIʴs_E՞v-rhca> dX;kX. V,Dhf `T`iP9vB2-*2}?E?oݑ.2J;G$A&`3 ?vl Ro*غ)SkL\ TǦ `5@AN7GL1Bu|Ot|ʲ9N'X5sguh=_T(ҸyYwS+J .'D>]!L-%xݥ\B:y5Z?&Ue[! ;}MXۿqh+C*DrG1~nN7sɯ6 }w3JO7>ubd\< nzY0?GH2H#Vr"m,u\ 27CdJ iNc40$OčvX(^{LVʍa6> TMb0Mj cJDyDRh@>#Hr[pNC@ ]7AVV9 47"D=B= 1gq(?kGLoDy^ ݜU]‹]' }71=:@fUO, 9"ϹZ)%&͏l1,;69 a, M,wжI҉60x ڳķ|bD |T۠(D}5_ZhcE2DxKJMZ7!pQRۇLM1>ߢa@_Ği'Yל` nBm7K@ΙІ~XV˭!FGCL{?kGd:?ZG_hَM{P,#"IoΞËck/ЖsPaF֫۱Lc`-CnU^CM쁍cxͨ_iG;+/LNnUr i9'$]%=[.?3 FtKdIe+B2 Z(S:<tə;~mJN3cƋB.T5p?)4O۟ϳy7x My&]v?kUd!v?Vuc ֯hA˖C =|DC~deX2-&ldu'wz PY<)ZxIU-ސ4IG喫ec+UsF'C˿O֙O\$umyfɿ d-\t h0A |BK^/QSxdgu-3} $"ouY8)JW`gY=yKqpK_g׏Y"WFe.^&+92CTt#Q2a0/3} I}y):3h&6B5O욿rX@Fг{aijij!С:ލlu K eDl]gc8OՇ{d&(`S2äd n9c/0srs'ꖛ4F'OL:xw2/43c ZAanKڇ*^!%*X@zNڃI.o\N5Vɴ|luD0jsj.L=x?=BPM_yoKw%7 +R<"623ϟ*zBP^|u, =ALĈeՏEc|^/| /13uC@#Lh:XX p/"CLx1wk|uqyhsـv]#(n(6 )!p_=e&?,5CW؈gYZcafed596f93b46f8bf9facfe0935934fd3ee89102722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 95806ceb48feba108839804e7ffc21e7576fac7a