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 +!S<\s#|': 6,T?]ՓY0)PnŷMz,HWӋc9l[XU-L΃tv$U&6`O:1;-P7U,UA0%>/(MX٘:X6[cw}N¹8Ph 'WD4NRڮ܏pkk!ī1!t7~* \fb--ڤĨnoQ"fmLgu @jOcvD8Ge9Kw7N$AjsV&Ρil.`%Q{v^OÂ_}@E&nZrTUwkYtϿRqф7=5 N*?Jx.kh95i uղ dU}b=2VcCU'Ĕws`ܲ˺Bc$jYOkBzK}{Gӫ<93ɍ&[&S׳ I> Uk$ O޾JQ'l =z>>sxy>93;`GFv~tE XLS4Љeʥ Ev"lnˏxicrxON8hiyĺ^~Ͳ~at*MR݋S[oڭ&'M a6C`  ׽ɂFnLUUˆ?>{pNa5R]QKu{&eq:$ g={Iٖг۠[S8iiCyS9lY<@j~39$[PM &hoK r&~`A2ͤ$6@LLr[VkJ z1Ӛ/?2x@ȿL!фТmߤ' MV;#H $!mɏ?yօ="+?80}-hZ1];FMBRvy(dc+P hr~)uaMa8 &}wi ~+ kM̮9/T3AJAMUr`ijmݚo>^Z7w o$xv c<%/0ȨҋLuk} $O-a1кN ש'fsfrn*[jdwsom'/win:DJWioe0vBeIZq_l]xHR׿Y|czHyR1g{9B4)VI*a./H_^=-+|Ѯ{vf^"펿tXgE?`#[R@2TFX]sAKDWS{ː҅O4M_j}k7b ,c?1E}O2l;ZB(YNAXDqJhLܸͦ](4h@\GWd ?ڐ`SjlP  ! Akra_Bazzi|SX{ǥ@.b Wync*PJ$wVR_,gLAt_ QvՇB7㹦[{c/'K3A?.G`|`,+&J"Ý B(4GRV%,tH6`xG?wL+1޴oU^* ]ՄovfƘޢG/hEϕ/@4U+&@v4nrφ֕r`m4W-Ns8&&gM]7HI7KlP.q_ro[dyijɔHB?UM fΞ4/f\X"Q=%@ W-I5R`B/i:\i0Ð@0sXk!}I s,@MHx o53Iy8I[ھk|OQtR>VE`'24f]!þ~h0n!3֔^7'peT+/$ћ~+P畊s͉NǨ;0fu3Y$G"rmX1FKjW{"p~IQ1'7!b_/[zʋd8l>rqBfoٝAW`Icrvi +(>A5+ {"GP8YH*wA]?nVʞ6ȧSS9&V}Ų}OR/P3.EF=丯j/ jYo8l|&gÖ]` dש9r@ZO4%"*7J5Ii[sLdIp3rEjFډld DN;kvY䥵:R -85K4;Ywy`~يHNzM%d_N67 NIzUn\_eawZ.tOۿ:Gu/J1w[dK[R7KA_vt)!91rLNR ߓ֟tf ȵw'4(sOۼwJlٙ!~ӀxN̫L؆t qx5AY'iV՗Ǐ硦vץW^S}6{i wbH:/2Hzrp5f 67zwf,s-$DRC7 (UxNf<,5 L`~r_m׼Or i\@9 c|:ҁx_,N@:FX} rRlncj%{E%)9zGl+DY 8"?+uizVynlo'%0cP ֘K4FgY֧h/hЩX>U`nE~XLwtɟ _h3cZ;7=5#]s H*( .#HAMG0Z8?T$ӐQ"݀ixWiǻ"unbwbx}G>Jc^g$pg-'h'EA3|etUI*r} T.[v5🞃`dWSOmod65}^]`x7-F(o]'.+%ЮcM="aXuHaUq0>Pʞȧ[W28QB:O,ê{^Ū )'I %'%vvMvy";$xKciW~5)ѱ70F1g} UkhtDIA005(@jG!907#Ǐ._j$^S}Ti1cW=HJ҃GX]^cbP6BH0NjcYd~TB&xTc.%\u׉&#@P[?EGx@<5= i6ߎ&z1yR/aG%^dP-G;A6c(99LbQ$C }G}hԓS<:?E} n!J*CpA{Є30{Hz>^lv'Uŵ~5XߪJf%_wysc)iBH NElQ ٢i >nT`Zŕj:"^t-uόr0Nט]@/DKa<$%l֫922[Z>$S8`Gx\%cܠ }1O2qCИB>qcu9u[f8v}5Eҋ1cIM6S:_쬯X 6Y`;4jf V#7j]=nk%ٳ|8M-8qc}5a ռgn}'L6MwR^73j&${}Ye NA"UJA1$ wcrU/́!}z$r X|AZ$Oo΋jԢS3\{-?L LP֣N'l翐n7?^h[d0&0A| \xF6`H/x>q{=T4}By fU8_abبi ZJK}%a%q(h~,=[r."\{Yq=;ӗ(T _l9u2"hI !G{:٦w6A,E,0㧌=qF, ݪO@>CkoCju# ^+u2lcIq).@Ѽ8 ʬn.Hbp<+;,@ :mNR.bٲvZyeY+6*2^Əp*#$WN,8 CUp?*Kv6QstY>I C7uRpJ)ή]R?:N5EeJY"r%QN__{pv@'VݤcՓXioB0)M7n®[ 3;{8&.!} k韹E$ķ6 GGsήc[b;MR,p2y>s~H)],:6T˛!A"Ky5,Z?q sFYaA 3i&BBT0QhR74G-qe1;wZ]cqݎ ğ?zPfo5N+\9=B[{#[|c= k}826/LۏqbWYLwK[|>]eֻ8/hdh{{Lנnե'H/tA,ͬf%X;gYZ71a3b1e1d42abfd2fcd67c4a9b73a6a288d64f913bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 5ed741422966976dcca73ffa2573e1daf423adbf