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 f5t ]]Amortized_Complexity:threads=2elapsed=84.324cpu=150.252gc=7.528factor=1.787zXZִF! nE]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@Εyhfum aZz2;s^M\5R7<,N s!kW2|@2TKl9x|b3o'*K蚩#L`5maf#{/L}G2Spp5ttvO\\y8B G;/޿cM3}|sx`-5 G= j1W$: ?Fuڞi u[6tK40kEKA z{?rNL7g#ƻE 11(0t2{2 B`R' ԄiP+3E=0rZ`H"[[RZ<˴bBz72um8ΫtYYY 2 IjAZU"hrXPޯ5YS rL )'(IRqΘ2+UqJY H78S?jKՒ9R2q;=qaOXmWy/KE'HMw|Ƽ]~Q!ꂴ$үFz젮ò=/7&(Hz/QzFnt Uuؖ^4E'Eb9? 'AJy2TwsʬGp^xQ l~pˢ{Y8#iޮumKbT@ ^q&/߂NwYtPܮrn->[eVgOC=͞x P~s2-=.J2/Aՠ܎#:lF^hxo1^*V6qQdcpy#MHA,$%a?1{d)Y9! _O8turpڃ<}EsܢBס Hj#_֜4e"F!iB:aCWsf5+2Q :$= uj{>9::ԳAAMV˅_UA%v0S,w#'ӖE[3귞hgXt_$:t|z)(b%۠ٳxL$Pa\jL%2)hkZuEEMEȗ`QٲSe;o 8k=o@~DOb^شy4|FPAZ9=BKJ9MW煅:mPʶ"faҜj?WUwAXǓpۻ%Pn`i- i~|V6*%)ե`U/!niP%P/lv'~ ϥCxwtDj;ʼnwL{i8# feВ_ ;;ﬣ7 myF .JRZfw*}ʷk-V!;~&a>&!{[R/?_[stuG̪fn` *'R53_3nd5:@jX@ 5#%4i0s:uN\b%ӳYӛM +T狭$:H?Z"ߍ)gYZ7zXZִF! (q]ŗXi%6ư10['nn|—^U+˿͸qw&xQIAa䌘۩.L2?{fY 9:D+~ku6JԤ͜Cf5WU9C֜F(k|q=ޑ3^vpbN?U[c}T?IbhlK*'WYg>!NFJr&mdH,*9Gʔmg:ef#2n ̿,w+SIjQ헰7I_b*/G6+1owZ,ę@dcap9EHqc],#f5򏖁ԙ&4 Lϊ}[5/8"9U%f1RWyky_h='_7U6!ܘ^i{!@vGM/ԻrNlg:[J* 2 3p Z+@ iۇ/n_`P q2 >UVT4usZaFMƺ0Ȗg/);@?7Y.9o=<έ_R^>2͑#"&h6Jo\C[$]vcKJf;q3 G#ot7U;w(\L_5Iֆd+g*Xu0D)cZfwE (zY;zXZ: y̷kkh*#]q:5Zwp.ҹ=8o8$(VFwl@=DlbdB́űx0/Q0p:0l(zC YI-sk1fN-N$FFʳ^ޑjʐeTQg+|fH6hxAe ^6ubfF+mH"S:0?4O?B!֬~t6|?)%Pf@aq#FMw2HqJtޜ_|AO+2pLNBpP/(.dմ7biH^dI.l^oB" t0@bU|9;791yi/]R:~Gj>9;/$w5\ %qHQx>ni(N- L&CCXZfhK:T{jB&ƥg8ݾ/rM4bZ ~" ߩkGubB#)a9B *Rz䘪 /5?JFX@^FG=q/`>{-pF[dV@_,`Ϩ"i$Ȥ%6[}i]E'8 'nˎu$B6N>ltbz80BQc!s"K@dlaʘ;^j\X7\7vaE(}-2~^O J[Ot,(J`CoE lJ~q6čχٳ@: &U-ˡˠ`m]lB=P7J9UF,WJs[ qlfD㖂IX:~sDE<;Sy>QJр͙Xx[l8|2* wӟR/}E>ήSx{*?' F +)~b`ғpJ.6p&N}ha<֮ZU^B}aX>]0g\zu82qib b:EI؂$ZߪjFq]+ۧզ4A*rV)1MsL#_'w\R/qA~a4V3KjиkҀm x2r˶YyIZ*H"j!Z6NYpP4^Hm`n[ѮR(HnZ#$f]Ôpw~y SOiTqht,M9nr%6+dl-^_D({ s5QXThr܍atN9^+FF7(1ʻιyKeOkCZB2 j_WĖ`ĸVx#IQsfyB75(z͜x+G>ݏaP sfN+*0\y`ekᙻjϐt$_|`_+^L8Ɨr:?&_HVZ#<@6S|~8a"A`30o6)dc9*~7ƦՂQVuS4{zvf wiJCCl#P60v=k_4 0s/Jٟ*4 (&ʈ7"] TYf- z@Cw(jiw\ <7&.t&Bf̈́'CDQk3M(v`34VɷFy/ՐSK{ڑtj7 kmEk8kȝ3UXA^^ݻ4Imq*吂vyIO;Cp `/ZҒC뾌ZJI+?^\sV;$x %_*i;/vt> jߏP90JmLxh吾&NJ$.6k]է570ɺVҟhy|kBild*j %' (~" fٜ(cPw OS=YӞ!g@ E:sbM" 'm+\$.x#-:__<RM<-kAp5ZP-א,^xy:A!"mth3iLEվo} 9}t67-/0X\(W<@~z8xTYl.]WX9{o -h _xl9ySg۳+rq4?u:XAR]ThHU2OvU0dQ3#>wB`GWo(K;9ZXP7 (jtf]c(o~ҵN(gtN+޼_\7 P_%֩jb h:1djd$ ms~k:VP.*zgp5iQ#D/ym 7׍ SWdWx3v:m*EO%f/aLyeoks@㺍,֏.Wnֱ 9Y꒺i\"4c@@X؅T0wӠ[e(mjQ=7n➹ 3R/?RFBPMr!mu\6K UbLe$97b_~fR*3ڹHZOqSٝ EwIS 56T7oR*k 9/.fVE{/rAJSxSo ^%r[Jղ2Âr%+Lkq1g9wLEWTG*[" @FNz!qAr)?2\C*HAZXi5;&o@*V͵_Kk]le5 4K%FgYZa235f749dc66e44bc5d4d0bd5818e1c331ce1f8472476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec2814a2e277df824f82115c29915946405fc3a91f19