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  L ] HOL-Bali:threads=6elapsed=60.272cpu=203.996gc=9.140factor=3.387zXZִF! B>]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCjA/.<%&nM&l(2(?ČT0`M2: uw&[V[Q,&%x3 ՘qx7`" QE'P4\TSҮb%A:!7N ƲGMx,?_NBu/vK[|̳ҿ`vhhsT驶t_Ǭ'k-@dk2q+w1# eHL[G$C|<n-8DD/stX쉋qbNJ}hʾN!p&W#h0e:l>Ufm 16$H Onb Q:0H17n,mn^hl&:w̏O, dsd8 WfN6!)8% h8FRpַ[BHDD@] PASF7ӷ֭d[q-+9olrk<(bg%b=8wҪcUhƽk1wjD-O[P$oT$ R!%d$[f*bzp?N[j't^yk1eU 6 nB8{_:0]QgRnz?T$}TD,TU_Rvxmc83L 3I* 4I),egA2brٸFϛӭFm&%;([3/Z0~gW*Yn 0%_gY$픷n5J \}FŽ(aoo.>@@h7qnո7rek*f}BxnɛACTho(" >/00 ܩk:׋@B-0 u iČni\*vBxnۜvޯrne1 Pkeo~UM,m3peɃ@vpT]r_Lkpx/l !G7ŪsܷweҝT$s-/'G)]_{η}P >g yYP}I3vl.R>e{~fm @:Z9d`S^,EK,Pq],d#4HR&J\,*;FQ7 }ʭCvvVƔ!|4*T6O%1:-z^i4#(m++8R_`Y [\m{fD+mTkX:baŘhlښ BUGnП^k.R9 %M"H$7|6a୵a=D9s-+>-я7N-oP&盕3ؘkH{4jvBxu@#C٩Rѧ-)-ӻe!\K{Πw/N%R 3a# 79֡ϟqf`XF0Vɏwub2BVknvّc@jJZ    HOL-Bali'lW\ZN<|퐇P-V 8{ ha*]jI,-~Ƈ>HzVSa1EWS,0yB@b(dNOYG+-:4;&h$!ؘ?{N޶BZür{@ec&>z:OzCW(~1@PO[(]0|Ph/^Sc)xίU{RyLj9yT[.Jٿ6[(7o$:y2axƒow.#Ï2eR9Y_u36t2ed.άymUC!6/z]cK'?c}_ o]D&D: ])DwC}cF'QsR+B+]>;E=L.Pٲ`)giĆ3~춋v~3Ej VVY>\\,AɱSصMDnSSԱ:e su92s;ŏģgV[Zo؊}b]+ ^rV$i,[\B ti7}{s`N ʼM;QpTW؃d4%Uob:Er 0B,Δ?WR\ך>P9];㷐;HXFQ@h3 *q5&.)Z;RYJ<]Q%1Y}k(wsyp -MF*R0`BaO>7h+aλ6}!.M(kP}Dy*̔UPAKc2{Dg4\_ JE T꺘ւ@ u`LL|eL =!K1Ӿ⭱o7q2?-jK &14֠pĝiPGsӴMmIi̔lL2iԚ}0q*VqLz1熓~4O65K](q"&N~n#c\Z6 F?[6[,̮8]XN ێ5iVo\3MZE,NL 9/  R0S1@6O&%귷:+4$uJhC~櫀+?rFwY6q*Ħ-<Յ̘jlD a[xIU:$`o0^ӹkkJ ?OeyPcxvPxWs,DH!% ]5WPX Uv-ۅ4BO['pqR=Aj/5ԇ+Cvd^ԈϪ葤&g7QIU#ii0(Hc&E}Ʃ{{;>Ud)݌WF24*wl` 'dA]at߯&. O"[H?$Bg6qSv0hH]Apk'Gφ{0ljo5d(vf!t\-\Tθɠ5LʶR@5MbuiR)yAD@jmI>9Ce0i- Š?[a_b.E C_OycA1Y~"蹺a:p؁r7w9وHN߹l!hI\у\ #v1 î# Ȏ1|_{mM0`kJ&VJf}9 iIR ĒQV.'u n'@MerDȯ ]Ƃ.Fqhsg"e9w4,OgLk4-iٺ KԳflߍxDDLi<_Lւ@Oa$.lf9[2-;?M!7\CSSHbӋE2Q#\I4ATXdѯà忭Tc\AW""@oR>3> s?[uti:MYQ\qktP"O]q n$FI5mԦgCsP&>r)g;0?$hs'"M!w_BJZKLuexR}⋒I ֮:U* wjh4o &ʰH#ְ: Qeh=5=o~@jt@rF9ۚPh(0xwz? OG&ܻB_"ؾQi|;'kWŲ=5X=_: wFv^T>v;FzfY@j8 U$IۢI.<*6\*gzV&'J9I7WUSӆ- 9SqussBKk(-O`:#4q {}bb 9N?gUVRMEű+ y[ԊT"#^4Jkx O[ $xc2zb9*NDܧ *-h4#?Sz@}F*#M€L,,aV_[Aꚡ"3 TdF"fN>=e4PxiD bGfvB'_p{ܨQ?NJ