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 ^^3<TR2j -!uc-%YR{m &b`ʰtz͗%R;k:3/sVDjnGj}3Lr~?3Zcr$S.6VQK[h S&eiZVoLvΚɛϙ\k<F:Ɇ?cԇ \ `ֳl'`12z:X5v}&7xt6JzH?gDɏ.(%66J޽(s :baXWE Y72B# n%"~/Na"IS#־$@-:V7$zXGh'FI2˦=GdwHn"餐_K  X2~MEXdHᲆحQc^ڷXus t؟Qt0GgB`WiƘꢙ5Kv>{JE5dSj3saZ$'k~Su6V9 "8_Me$@e| JO'}ZgqEeju9yubzVi&kM3:F&TZΝ2+D&2Cz<_0,+XA˕?<)*%yVl1–fI_ٻT\d6~8د=.hN{I-/DXHކ$"~mRQUv6p}oܧ1RV2N]X/[ǹ>Cҿf@IYI:NJ'HYxv|EdE)7j%rGqo5B9E4*]lf@T=^{hǁi8k'U@XgH P1D!e#MR!O}/qQ}$҅2պ1a]:QblzD$& $~Y1[Ʀ%7F:ABSymUK"ώvc Gb3`k/jGR3-+wiUj ŽPKt>w:|,lB@sHE-wR7%Xn #g^Uhk#b$H:LWsɈG*E%MCˤ 8%a 1ib5`4rɥG@<#+YU-?yCo r @r4ӎQl>xXn}nkEү>&mn6v%^8lfb#e _tT9o`_`ITYeWA#wLAy5Y GT(gYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰Ko˰ϋ:] rvΩ溺Ъ[RX\+Hژ;'|P6I(Vp0]}rSP`?HEA׶(L*PVI;jFlb>kH*h )%cp!_qHDg$X, ˹p>_ k($뇿Xo.Ky{ YVݵ kե.'Co /!T?*@O&@0hXt KuC/ ͞ZxhC\4Mʈ)^7S :+9K϶3ӊFDWmrad]5kXp& BD 3`p*lGHj%1za L#Ƙ q-C΢T18퓑Rtf9S pq̀IB_tD J ჲgYZ7zXZִF! -`]ŗXi%ήuڟѬ9H@r}*@j%LC"" f=-3t(;7"HƭmPjLH -7NP;Hyp߅~i)bl=UV߄XW9$䛫-5v\5+MIT8^X7,1{GR1(%a9@dKi5JeZ)8%wH!^a0*&$)dW'Gh@G QG0dJXJm -"6ٌ8@)^B#]сN Q~(Μƣsrj$phoΠ::g\'n%bPJ$竆1At7%/v!5%a\ $@I "gbo^TQ|1tWJ),*|@x#2Kz4Tql~U=1l zWRF<2nMoO4to6Rp0S6 Mxtg7_Yoq\R"){ؖqV:$=Aq F)Xcᬬzn ;cQ"[QOMmߎqZ`~m}~"RwLf MI2?0GEq$yblW!=2|2j=8K"+JP 'Œ6tڝ.-B9$L4>)s'ĬALsxX$(BnyD RV:o=kH0*y<{ށ(֌+ԗb5%NKZ3NYa+gM-zFծ.qVgz#5Kq"Z=\U TzLg5wLU&of!Kh@Ž|r ͶᅵW"?)zv8};ᢻ>AΆH@ǭC MS# TPsM AcWhqs6FٹO1=,Q `d#D+1o}dp6`k/sedP&t2K=@8vmTИ>_2 X:?)Ɗ)%Ihi _( }w'U<ő"&!!ޛHHmT Mz<a|E;GPHs+EZUrVXu "|y, 4 /*k2cchψ;wLIAzG2c]y%@zȷh9fO$VKS1|8l>R/E1MI&@-6fh3ƬR+E|x P&=Dl;7$rF7ZIf٤nP zkx˟6 z|y!k^SC9-uZ; %пcrB+K Jr?]XwP\NQ.g^ ݰ)h.;G8 H;pc2=O AvWor-a)lPoA&QS`Eօv" ց}&Igەp(WZ?QnTgkNu. 4!K0_LuHTigusbqY:3 vqd!'$^\oq!@Q ǃ @(Q%)SD16SDAf4쇣BȈIxi0B[O?B|- k'b@aQvML _ϩl\fuI,_@\|ǩKJ=M4 uڄ6M $z{* >O[63D@7c2 ݀5 jQ#n9Fo#ԉTh'X~v ֡DA dHc@7&=`2d[Q?;!/3{:  jVSEN܊ xb sq (B!HF% ^C3rtNGE."QQiurjjݭ/ u@q- g%(PY%~`YC>ۻ|eΫVw5'Ufv, :UF,EDbu2B~caO _#?=p'݄D&?$wL vJZR_7B0mSv'TX  qޑτH"ֿsm:rT(&mRj{t pH(@f~]k]qEi0 3. m72ɚV5= %sZcm Kl;a^gn[z:+iFw:>43t] [4?ftu[H6v:2Zx(#BIViMb*aaU@Id'u&OTAE"< pLܘڋY?dJрe?n6;F>Ip9-TE9=.eo<^;,A8x$FQ4(t WMc5o$q;()6~'>׸K^;Oܝf.L*:swtvȽ -Gz;H}E0AĸGSauJR$ ?8D3_SB.fI~hK0\}FOmaSsEԐKN_ـKFKi¾q{/T="f8ͯ|Zj41{OT嶧YF nՋr5nCs] 0"c/~)܈-{W 9}0 a90ѼftSqG= 8 )ڏI Tð>٥ب=/8Xv'T`WY é '3M:ԡ% ߋWi8"Dzn/D΁{aQMI1 )bg=-@WsֈVh%&%9әԗ͍A]q-Xp.a +@5Ed+4gYZ*sx:$x (M]H/=F$'4;EEID -)LQ+oE]֮l8Cvs_B'cu`sLa|dsV S׍8I.k̈b{ &+PPf܂WjI2@,/k[oh@f#Ubn|4#o/0{&ncD`ie`(dN`'|P4We'^cwC/Ca+D)FIc\& hu&J+#NTCMy"{]d\nϴ={c2r ]* yIڋ~`T'X,[ O)fNก >