SQLite format 3@  - llB77#tableisabelle_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, "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 Euler_MacLaurin:threads=2elapsed=31.558cpu=53.304gc=1.672factor=1.697zXZִF! D{V]ŗXf1-q恈͐7ӺV 4GJ34nwbrv,ɽAN kV;OeR4uA4*~0ph g?Od#|c D_F9a~·Bzc< NH8yKXpxlV%z_ D,-B>RD2x(kLZaRObpkX. ||okVcrޡ4콘ڌE ¿ne\0D£€G$(\ TW@~#=)~ɿ_ft067m y!he@'#?`-pbLS@Paq_:ØeqŞ@;$߅|ǩv>ޣr{8'˞g&~lc/5LLMڄ(ď3\a5MchMrU=J/,}6q\fH 6Āz} SMm2/ ip|s:[ֿ'U7"N FU5 )6Tt۲uGbN`GaL=9Ԡ_ɀ/MON\Z< xe7%G *VP>43vax/9_ݗ.&㡅1INn`?CX+Q + Euler_MacLaurin&S911VǍjזG|d8!T.?I}6rza$noD-g,Z MK3V-2U=oʂ%KcҰlR7|m&΋SiBKT,㰉ЃCH#ͺ'U[ ~,H(sw1ݩ=ߧ6e/WÃ^Æ/OŢ*Y9N+/*0Z,ðy;Z) d$K]E!=|&F;zyn\Pl@ٔccqe(>"y};lCν.CW ҳ/-`orhN@c}t:ܺ4.x]6)FF5b: d~?0ٽBm`3k\7O滙U\&ŏ۷5r!7WtFaP-6?T:Pn HFWIS]|XWR24!OeLXWRWY%N8)w9~dF6=Om&o=;t} $y ]Z=h >঎i= GUޑԩ?s!{Eb#acScߎr-[h }& ^CV,:[z|`&f@hF#oQKix+0f* ! ф"*k$a`KFU ѫs1r 9|u4 o1=>!VB3d܁;x}[ 7zڴu? Fսϴ. nXmPiDsU+R !*Dǐ?JIM>*M~Ϫȏk/.-ȼh#owFf֫!OK\7Rha sQq޹\Z.MEbyT)bLx."}OiSy'(uHΞ 3_;=qmW#c>{B12/clsg`K\ DF{OcݼN@#U7}4RLah!BD! kӭjه WGUK&C([y, 7PŒ`drO]Y /aEOx>B"^g1!9NFzbF\(J(HRWFY-u*U,Gcd%j8ɎML*~xC"Vr螓yrV[*,0'ʶf帿!sgR@UDJhY_ i:Ed}5a nؽ1*M,Eo\CMd|CKZ #-`2Rգ<d(@Sy IJ[Ecqʃi?#׶Nu\i׈ ?}9D%vK CaM)BySJJbf@뎔hj2F2HR HѼU/56),~E+!?ᥣ(tti8PXO:-k, "M]$=wbO-U=ihD`zRk_hbAW b? Lc^dC/FKmZnEΙ]}Rjlя&ߘWg~A2G7HaJ1yF731,E /F~y$@7}D#֟keʬ9Sz0 i#` C푫5T"$ Ç^$tУhrpª.it%&ޣ0E4n T k+ɋy\\0(6 -~{EgʒfݡIeFZIX0BwT/mCdZ~J0FVRb`Lg85+տmLHMѯ"ӍU3= oS7B[Tbnޝ4`Y3B -'b4 Ž.]}T)Jf Vo%h5ccL|l)*UJH TKD=p& YO熚d kb=@3M=!ף[r+$O:QWIXR9yl4Gh6?4xYJx4Ly㣲zx4L|[w~#^ൟ9ܚeLFiu0F 5jl)?)mU7gv?atiPIKSw88-|:WOo@ 4gϳ \̉٨3_pEtQD LN0%I^;mj \id^hBaY#[zH3 y4Bu(\YIXaNɽQwm~K/1hLUWIoJh⑇J*ȵvjmTqœv)3; tE1~yQ庎5FIZStqO\1 PLPYB F5SA.#"2ex/5z<½<;nH>8czON6Z"HLWX%6T I3nd7=} 0~zѸG (h_4gYZ7zXZִF! ]ŗXi%HT3?%Oj-& O)W0lTpZ@؜3Ծ1@}Vk&:k{C&AGosW2a0 O`օ#&tEEuOer|BbĂڸ*ƶEȏ߫H*lG.N\ f4UA[ T׺|ElB_ƫFbD呲Y`8"F} +.񶻳U8S85 `1wdntyOb,\.Naib1zGE:df_Պӥ "8m:Whߎ^cv{"cB&MiN#a vj(+;[YfY)% i(ʢwIE[!fPKe4ڛpݴR< HaxϤغ[ץ <"@*OBXmy;_mm c+t!8{jC+fy^+<~TL.N7(r紪$'+T$H1 BxxܓHF"I$hDg !Us27z3/E ٚKsVdځݛhٌs%.  PX_')A7)Y