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 G'dL _w UpDown_Scheme:threads=2elapsed=78.278cpu=140.472gc=4.352factor=1.797zXZ ' UpDown_SchemeF! l]ŗXf1-q恉<]d %S U |*B ݔ ,N5#deY h9?`'/P=3pibm^lF:%V]!`WoyR^>ٴȷZNYr5*p/Ή{X~ڻI1{JQJ#YM x>NkK+!mJVlCM#7;={);;Ԅza$y_lWUvveF*58be64890@En+ݹiխ&W!JSʛIg ro5:eOr~ 1d"]xثCqFecƭ&j!v(H t6Mg}Uژ[f $[2Sk37A,P|YTR߭ y*kCO*h7OQkŁ'< !]Yڧ%ܓBHk:T.+a?-wꞄVn!Lb4^6&X"6-{|$=Gq08uSzBӋt5ݞc)Nį[r" ƒkUd#"ňuU.9^0G}yp/g<~]EUB@9Q'/Epi3}RkuPLCVS"&L<`'SJ]&xEf.Qi'OM5 U?R!uPƙ# (T1lESq ׋It$dH$mH X^J eܖ8cc^t5m]`}$8!#-D9"9Z,a8.޸7_(qxkNB=v]8!WfOJ/aƓJ_a,lq@/!xɐi@HSLE=we#bo'8\ҳt|O}#aҹȎ: #!Q VYnE |4t Jޢ>3'JY#Ʉ}eYC^%>J l!ډڀQ(Wg+w i}QQz4#tӭXOu+<6}A׾vqyIu&phu;wf|ЋlWǴiNWA 2}Yi3E\Ä:V LzB/U[KܗקLvG&+7ne=Ve\IJ.ڃo1Jvs9:ӵcyxw#rSv(#8<1t(wp~RыXkXaPVɔ*Y@M`Kίr="%' nvT0v-ɘf!*P㉗ڍzw}:>HۋoE3v~pk(27QLlS?[rɠq>DGwVapġqR$VDt}6֞}k%Gg#lL3(vDŷ^;"~"nht+*n^=Sv׉8l2E%>dcבwW=]|r854#&mK >t\\Znʡ[i_.uhD 3 1JLUAn':ͱ]YK ~kܔ[CNޝ[ڔi` m?yGgB [:~ '\x,]N PIk(ť=,Uo0oU5ʑ@VTVoXx"qf(a5SGhWf ]-tةDA jK˧T'{ ;jQ5Nyb*B3wlI"nwbkľ&{0tqCC?=ٽ (DT4!aH8ȼvJ"AsT+C4C@Ol|W"#1!E)_!FQ^uBP{:Xgz]Rm)qKy^B(u:9ztRK .=u>J H%5eJG"B~LEMD)P˶*7:oPmC+J >"8O'>fSv,vסe \b̪nR~Po9~43W|@=xER߶2/x|&a1eDR0R=Xd/DsldW]qw۟9b4U =nKv/qq,oDzmy~: GN;H2 |lErI$ҋEP԰lR6Nj:"Rd:iEEe/>e<ؾ/{I ^hKc,ZqaY`ƂqˎZDM!Nwy l0hn8pӾ R(0/AR5GTߠ3/*ʆ^3a8jHH2쇊udN6YX#D#v?UWh~g"Peo@ܠTB=^&/CgYftAR(^e &V* kO,I}x^qR$,taj36z\ѻtlY=wf箃(G"BJSG1:LOy-.['Ysw5"ߟp^yLYN~6u an9R}ffr#P6Z  5ÁIFw-&}rLוLe{(=R JiF8(qȐ#NRib]ޢ+5ʀeEŻX%K]dY|:\O8/]ο< ĚͣojuKYb tfXB5 ?n%<(,b}lhCB&ҤZx l?%vKYC}!Vc9y@v@* aΝsz&k)T Gjޛ\C+2(cqb&vZc!l2N8OUz䍟R[|s]U}H<]fM!3_ү0uzy߾&%7^ *]b)uxĥ,P$u^ѪؠJN7&>%7I}lf8\n׼*d TjMPs_u8T9mܹg9Љs 5^ц1K+:|}!: g$sq3Xw%YA @h'^%wqԻ战/vw3}c.:U?,XӶٕb=np8O\&| DU nMuak&8e8*i<MޕPT-yK) nuD3*;{),ؙLh)T8VCyprF%@gT¦3' p~Hv0*9xkCt>e P:ُl*&Mgf-=MoZղ 9f>fDqWKpiĊ&|"j˹612\ICzyq.w3 5$/N qsq@C.0ڃ-*AH(7HYh;*]Y@\,?+P4gDatXQe +[w WU뵆+d@w6E .` G:BG))o30L;ÐĽCCE/F;2!p O2"jxֶWwY< BZsFvW# :LljHH;d^ kekS.%83aa]%e߈ IE\GԫB9+^s{(>U@aMfi&Y'[Iq斝\N1(hp* ~;A)`W ^W в]>MW<*Qzk'յYKӡ Y}an8뛀Qat@}}hD :/ &qΚ}-eV[łfT~m6uT,>P sr`]2TV"R[g## g̗+kq/h-@ HS랡5]ZDH|քģjV8 G\WrfDX-?&^t0m_*X-u.r7!J$*A]d1A%A8NN}V3]4E1L\M `q9pŦd7MlXhʞ=ͤ/3;vȥ-8ƈS3"ԐU"W+/Gɥ-.m0r%;O 6YMv&:7qM̅&k&عd:ˋ,WX ER-pD0_[/mIT5^LoGXۤ<Lj|{Jӯb702Q0JdH y Z5v8R^}g~/"ly{ ԷmtI؋3A:9 lN #ɥc9nWfrT^ mT *` 2x,z9Hp/.\uwOFۧ~rEhci.ąl͝bLk0nubx H8c\ƵzY D?<vt}w_ ;СӞ)MAs\-da{"pRUdTn|ד- k- Y- 7-sUeo7E!IwuoU_pc˳~[ I7DhͶY*$tGbjAI{j5vU#9<7y$3YMmX#=l8^9n)jxɑU* ]SNG 6 $ b%BLXDU|PhJYIUg:GuLGf|Ɩb>W}b|3O5vDEmۏyOo0ui `|L\X*˶M h"s<+07*| yv{}\nTM : o}áS]knY-\/kmHB Vn.*$@pI-@9K4Sؾ1z7C8fs[RZiXy1Z`fWfӥ˙lS]RCcpD0[` :Z :jwIqb8Īh/ڛ%Ҹ3$}x -嚦CA5sRoН1y$nF% L:i*hUVSpcnfZʷu̿)쳌'$@bX$|sU[٧(MypA3_jyTP k =7X|X6@(@Nm)[gRg2b: L;ͽ7gYZ7zXZִF! uK_]ŗXi%e2:$GEs'_ǀQ2rUSxJCco9WRǎWo'H+ ^Š:c吴wkC=f_t#+!M;S{Dv'}D^ER!*%wլ) pBD\9PF R{a[缻&1wskRq [gɀ  )TAKER=ğj>f9|WHM+ac.5u Qș#jPrU+cNSgc3\%`dU;8HF2 ZW>dҸ~JԓC) %c\g]PM9>zy ՟"^b3~M7q\j@*u/YHH.~{]g#>\7K q2 v $oU)pʗ{g8Q f&ByJ=A0o"3[1/>< g jR ;k>Y9 Qf7%SCv0(5s,s ehX4IkYHfEL0ѫTm4uM!dK@jM!{ȹz<æ[N,*BX0ҌOg970n E]q*g ^w)SwԦU& CHTOչޛٔf,}Z=_A8*0ivEJ#"c>*_2-gYEH%(zU'Lq!9r/ oal7#c4v}'DHۂV|rhayQ#z6Uةe}v, ($)q&PA+mұ?J1M:2 % H1 Ϗ|`/J =0@X`hJDM-GyUO" ts IPYB rPץP4` ǔ_N:8Qlij /"Z%b.ُ#[["Zjq4E1d hܣQ̄+{ު7wzT-QQ_+*x\)b>9ph3\m>NYjo.=/U07\{|9St, @/MQc+Bč2חEϥǴgmÆcHEEB_NYuLm *|pƠE(j>ZgtuҚ(b0)`ăuڴr A -1%"}z~T%O9a0/uꡠ^)^FSX!7V'-_Too#) 쟔_Z5r\hR a U,êF׾\Z~4~@M5NJD@34tLE߬HQ/$ϳ5$Thbzx%Bm^0)]=/^={YSqƃт'|猬MWu]<C6x6:| ʢ2EYpr?25AQRx=BBq:7GX'.2r/c}} Q{=:A m~(~luF%56@a}^+RҪ1M9y{r"D}ە.3T+ ydX\S[eQzOﺠoKCU \D1jg- %E{yi聆xWkq|wCc1B*4~ >{UMr(EJGY<ڪ~扑N˾.DEa 8BJ3ͻHN5JU'BHQ7>㓷D* $ppQQ~ٞ?p VI|`6gVtr DS+wR'v_R:q݆Yw=D2(66O GqU!DTB |+ B  U:u]!CHjB{ˍ,6f%%!c؏6ۅ ^*QD=\%'O3ۛ.r); 3~H[#yg5[")W 4qUqs]Ε|9.̜ pڈ)  5R0*Ru#_PΑRHR0TkVćju*_cZ)-S,f3'2{ɜcmn#Wk.%RjQETm]_9VnqÑ go(9{D*$I z㜷Fek O~r_[8ג5OB(ѭx.Kۀo}7Moꗩu_,O4RMfKp(1e1&(Z%}U9i,EESDqX)fT^qM*)s :+sONQPmb,K㘜4xmwj'V65}庤 k8FxH<⃲^&NfzPE '5u^1WᲞ (@ׂ\S#Mb&7ѽ,klްfr&Ɋd"Wt uPg\e;xA, f&]?%|Z`R1})kMq|F a097\z P`R LꉳrPU:i{#:4V ($|Kyq-{2|'WBFK(R;8à %_Ejlr\wmB43{J {dZPO #3VY;BOɭ((pv+j^]>6>9,pث 5VSz-Z,2oQMXCOn…V1FmUwa&AY7teuCɎƵcSq(~9 )* m= :˳hKgV6V}_Gw? m#} gbF5r87~3$Ǹ&Dɡ(Ux.Z"i:*vԖVu6C<ϔ5zR΋ @Ow,_C}hN 7RB;g>cP (޿/( ^&{o⇵6e"Hr=R xc4z6葛]xMIc8֡DbPG톌t&Csn06!i7?W`$eyÐ()Wk{*߹W!hA5an՛= [_E)7]GTY .!T+v=C U`bjL:zȄ_VF8ӼKkGSUރlCD?; ` BOZ[M,*CG'ˎwHޔ]"tp e;uv]D],h&Og `D֤'S{!|,ف.hU+p4ElIu. J.S%% 0n`]Ԏ[kf