SQLite format 3@ . YYQ77Atableisabelle_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, "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 ^lt ] HOL-Bali:threads=6elapsed=61.354cpu=204.700gc=8.936factor=3.347zXZִF! A.0]ŗXf1-q恈73w@9!Ӳ) Fz_nU|!i"JYre@KP;^3QYQDgxbaKO@,=,Ѳ&/TWJsd԰hkZz`Pz,^&"bhNgxk`Ǹdv,`g6>!lj?q׋ Ypl0f'/{[d%aC.EB9WAks* s\¬IZ[q=[OqUb̯}Lo|shq5{ P2x!J ɱiic۰2@qG4\݅X9t{L,Sq=.Sx_aCZ$uKnm߱sqԖڧXVN ¹&V$ddx%"\ ;;}[1o*f%D?7q_H#(o`*5 HJ*< GMfA$3׻Y/LBnA]KʹGڕUÓYA/C{/K}j}X6ۼ0^!:Zg1񞴛k5eNal>J3/򷯚)|H` ҁ5w;<\ Ʀ"apbhlO-)=/ݷӹ86vrK#%fPh6[؃RhsDUD:_H/ L%ƒb_3/ߚ[mLud2+"(C$42gV;uP6a!B2B`sG_ql`Ut+i >u7_J'|نkJB_K\wNL{Sn>a1}vho)$,㶴5,IgM2uZ^-W-_'=3*OtKΣih6oG[ۯ[EQ#oS2K8X9gD${kT3󭧾w& ]œStcKyKHN\|ޏOuIۅըaLuR׭!Cnݲ QP 2M ǾB`fXyGvmO5̍/S3spU1ٳ*qPs߬]pֈ_UB`KCZZ``X+v3E;% g&W8G!'*֗v^09Xs,V@ *`~a/]?}C-ѿ_NBWc hU]r׊brA9e_#U>ָIk ' ^%CgYZ7zXZִF! 3]ŗXi%6MuMt1%LmSkˋvU?YXAw(Vל3]NXViVf!e爇>+)UIǓ7I@p'gYO]]~.oCk"w#5.cwDӒuZ|z{ 37SQ]AX׫ЗȘ٦+\ /ZdLY_6})9.BC:4QQ)*g52mW?,& mTT%\kPocɃG\1)a녌R9b͍(^~!d_EZ$>984'2ͽ`fzˑCSN@] JDIаgR'b1o8o.fcH5$YvFԿ|!3@T1q8E݄[M@i'6L'cF}<3/˒h&5uQ_;h&]g)w4jr~$E#dXEi=}q@5m)adguѣ*o L흆'HdzXGZfl=(!t%3CsT(`nA͇ %E[ڇ骸VS9cߣ'L P[J%E9(NeIik>vӧ3ŊPOy517wfJ&o ,( #8P(.6-ZIZ68~p(\萌!BQoWCeOM"HAM<KK6;LokQ=mo&*m~qtBpgdH0jL\GڽtT9m  {Ttm~]WG=G8/Q߳]. Xʡ{\l0cϼ.Rva qݸkHar1Qu*#Tq2/ٝ4bv0zp#)&<) 4rsĐ܎V nQ 3ާDkϚ!GotXEВ eU.yEI#7 --oٰE0&  to7qpmF{\ȿCd\(ٙDxȔdԐ 2\2^u!ǨGW涖;6LUZC,d'ȯC Rlq+,̅Oܭ] lTVR/yٷ%t1Tl pQ'`D?tc,X8@<Ѳ@-܅APτ7-izȕvmD^K/|Sim2|8GQ2O?,`tF'\fN͑ϭz,#fzS}P/ h;."( ;髸`F9 èW6u=4B`cP}o6^WncuUEKZ C*\C(w[gޚYLpIgK 0hR> OY} .:BUyieNI9l>h炻Pd1|`C Ě Ch+|`Kڡ]Mz)O o>\UVtஹD&+ i >YOt[Vlyߎy"_P0" 12PG;$h| 7Wڪ)dG.8ajKc,#\/O;DidJKɜ:ZO7 w w@r-!?,Јmco.0˄=΁8 }J9l+ ꢼUmRuE%.ɣ4 r8MQ5rAj/g nPjz{M[L=EӸwο8Mn:KF1zMՙև"yWri!{t|sBM6QL(:/M>MÝ9)ң&P b7i&W!R4fwUƣu+,mØ&.oG$ގl"+8=$[Vo8 fR`j:دh7u<ȭ vlS9{-c n *%0տǍ/u4Όd1˹ .dU|W}28gy̺^> Las* PdeDp^n1 < (@:fE_{g>F] of봊MTg7?b;q$ZRUo6KHJֽ 5 . ?Њ37Qc'U#E:Kxx,>8`N_X="8ucNx"ޠ0i6QRֆIzae$֬P?3&u HzRx9/B N)(pERf22Btܮ&ϽrK1t/ cښXW~wxISgNuo-@]Or>6#yHr3pڥW꒹*ì_ yzT-\]^ZHY\Iu.* *j:ɼ~IĉN-9%ܞ5yEŚ אӊKw~ Zq6qJuyӆb)/g$XV//6ʯ2{w$ 2+Η8Jtjzn_d9%iʩa7NlԊa}fq^DTF ī緘 !>BIw=XDduGZ1DExǔG}螆y6-7W;w%W[3)n_o.>CNLCvtCw -1CqĵF[b>3, q.A "ըzgYZe36b47801e8364bb86249afb8c7ae584a237ac4eb32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef4 2028385119fafb7bac5001679cf939790c300aad