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   84d c BDD:threads=2elapsed=85.425cpu=155.320gc=2.824factor=1.827zXZִF! ᠭ]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtI׉d4VPg0?o{vHV :+Ngǔ>  BDDxh Dɡm@-WLzVJ13^%RN'aq5qc$ds -.ݎ"5&<>.OMl5 ~N[ho8Zu93 Il@YP*2o#Y+OGb6iA>]ߠz B+t_69F۰o!~*;evDI˸"/XR"ȄͲ[ hSQ _s6w~䭖<Z&ȌI jXklC!D.l`m~S7ɝl%&Lmo8JDYv2 fTQ1!%RgӰ]3$SO Z(zz")ߗ,͎_``_pb`̾]ׯH}#GA'=`p,Os6ЅB9Hܨ+iJ2SӋN2!@:q&?9cWU|r,*b?0=I8;k=@ M7f\.*fjraΧo&ΠŅcѽF0 nK109\׬#b;f"4ٳl,>Wn{OPl_մPYH1 n V9FHe\`:7 81 K9ޜڵ8Ϋhz?)M4 :PN:T.9Rl|e)X%K3vf&穹M/G pe`N=LsRӍ\4u u!<0̛TX39aYi1 IVxt+\foTDa\/u)@wE;^ΰ 4aĻ"MnM#ѥNoGl&όtI)=⛏\/?)eʧ֚&J[V؍{4L裺F23ixK8؈Lz,`-i}?qۚ/0SlXR_R.~=ȫ0:[-נ~C]_A^z:d{2SwL'4}, YK\c ϰQ*Duta5΅/CR=裸qzpd;bl SڷsTw\Q-޹$4O .9^7{/ISjj]ޝo {MI'z'C< pn8P?oEQ:8ՌYccjCk1rdG@ s hq֛UBoD#~Ō3GfDSmȺg.& ',6#tV:%yHE|r8G$/W?[y; :IGԸSrs)jTFV :!6/-=8)$dK(MJaRQvnMhFW G@ ]˱FN5j[<&QF{HFCsEFC ..*՘[-#k TϠJi:p Ԑ\Y\*Qx"Ydy}۰5FǁSMDBU>s6qW1p%Ztѣ~>R४\K$©sTtP;1,ӡ:aWWx5^E[{U܊J&A1Vz;2D*ID(9QPplNi$5Ƅj"ՙ{'ɯtb,1jf ֺRROC.7a"Ԙ@ZJ6ZfOʎ9z+c|>_[(WѭAM#n:![~K۽!12{Ȩg:2P8̜9t1*(?0=OY0<3U(rL[j BD,!s_xuc //&JQx8A56/ȕ4HHiђG_ A{u6Ay.EpZsTw+iTRjΩ&!˄m{QNӨIw)%OY/ߠdٵT "_jad-(c.ڸ3^ OMRg=W00ߩEP/ :;y I =fdk[Va(+.- jd{M{?)eRm(R5''8ǹ"Z R<ώNEDaf&<e KhfLX(^䢏 6V,0oݹ߁6V,SqDpQ8鲆ĹkF*}%o/c(4߆PTdfҔ'6(pPi0L -nLۂr'ؙ"+Pc ,)#5T\PZnI(<"K } 9#rlj< Q¹'MD28tGc2 pp|lXiimmR=JLI2̼6CQnnO!erB)JjA2/@0쩈cN%  }FL*Vv>g IU #W8jc OZ^ޚqԼ1ή%GNf[-] HN+lwNLsQ~L0a$@DG*6n+$@I'^O(Z١ l3y'u&0>%mL {ӒR'hk*J [g)H+"oBs)$oVbWq{g: א Qݢm7R뼒*ن N=S$fH `yo\+wV 8\[B$#O3ŸU|RZnK C3 HF\, B XIMㄊ@-*Bb,=T~3^)E^3ֱB~K:s@XnoyUE7qfr20rzZWH\s6gCQ0NԥO φRsQ7%TfM Iv u:?!cS_ioI^F2K2x\pZ!PIio(AgPaQ8fvcSJeּ%K~ wxO?Xpbdj/ ͜'۟ɚ#m)(ǑpĭAS=ё=}D[UH!np.bu{Z(|Bߴkaثs(A^^JӥԟO4VbtBF֦ ko P'3t4NX_ w/ݮϜa,O "fté֩ir3 advrnKd>i$␷[*$݃o'К//J?;J4G= nI&ap yM 沗=jB^쓜9h?!0-?E+(rNSC&g#h"Gch\6:lbԼH^HQ*5MR^)k:S;ur]HT~~`->*d8LD޺`<tS˾*%Vg?3vC-\V.[318?̻kO:D>Rywxī=!;*ꑱ! d>/?a/W ]}XJ\ r03N-N01fʋPMʭ+`' f҈{^oaM~0/Ä&&׌CAy!'EֱF::ɜ%*#1c`u6 ]<:`$$^}BKR/&Bpֻqq AWWzT88doY(. ?P{srD)s-b>; i7Sy#ԆK&}2FI?k=I{VLO!%:[d-$E@&S&pŘu\CVgMIQrnvMCR8{PxÇZc $xo$]J mr/%9QvB+,<^"EȖhxg7w.4i$NV0vP`:ǢyMHԸo_8!E'[4a@Wg+Vb~w,$ )Pفv3j@oLPÝL1BR˒@cT8\8Q׮PԪpw1voԤ5wQ~T #k Ftn W&vX\wlPW]0Pп87S(AIAv]&TaxDd~qyܬOFl,XWSW#$c(GƇڶ0F_&*g<e%k! X,v"hO 2,}V6G( ʼÓz]H}u}]v -go=N?=V:i e\" Ve( #Z " GyU&Frhrڀ͊E7 ײy*jםN$.h|xc` eBd-ktfH^,D"K 7cKm렺yv2H.! ÂʌچX(0xms+o~ik!o!=ky4<@XވOBFl,,+=0=XZk[>@-Њ>JS1 xnZc0Neu|]>9'`D ͥΗL DFh/Du@BiLeDKsS,Uл?\ }>8O(uěX,c$$qЉX_JS7z *g?cZ2\&n^;9UޢN109mu s⦷{d ٚE~\dɧ[ÃiglkErv.I&5"\"1} #Ug6={7atF6& U% Cf뜽XHǻ&~[CSgG*ad=n =-p8)Adcl )@S}|:AzFPH<{AJVu D9ѤI,ERݯE1k6@R1n:G1!#qQ?5@,Hs6"ͭ6aax:>EgYZ7zXZִF! ᢠi]ŗXi%QlxT36W\iBj%~  5ePNKss5١ "_'ՐEx=Q6|RSj1 uEˬHA+6J!> bcVHɨe:V V23#C7:E)0xRΤ@#3N]c­<2-yzȤl|6 h@bV{=}YG[nfHs"?62%L(ʁmn2Tѣz ,0cfoZS9O _9_H"s7%j}ڮpSFOAa%9N)g7QTj/-5Ej:QSHz- b;U#ŀTiIccJt)dI$ZBim<غ"),wjvM&x P#!*:t/H/0w]f"//n7%BNHuw.}+0S\\=ϼ^쮿(Ob ]EqD22i)f_ZӘ{FkK^'pB_SHmZCqTþ GKW<UQAUBjX $xD4V=+ r,ʰ _IaYi1MV ƀl7'?]/΢N8]JkE%zHi٘S_駥"9a$k^s^WasnEslި2gUҎm#QFܫH. 򬅚x~hxҜ[A-g3E'u^yj)K#Ut/_G6[NIqtnƱ*tX(]bzT [5i)>hLMлh4F? cQp<)@{q{e[AS$!rn$d&WFM_?ƫ:#lR $18p%}.\ H#1y NuH{'zr`UR2q]IPsx=L|zܫ@М`p)L+a,g)B@˚SeFyi>Z 6MM!$Xg20Ư!$[";фx(>5jR6~#|@xYRE'r}JKt nTT`!Xۗ;vlt{#kO,$rR+hG?5:\(7@zT?QbZ 3T)9O)y@Li~7uɹmU>KeOTڴ @GД 5aμ,{pji* 3CPofX*#yn= |1Z$A_-VK̩d+\ШrP:y7'wJ!xZf>@PQjim %Rei9 ɕx,0M9fƈn ݣ# 3)_p KgȻUe|'p9?J.~@jEs'suғTU]dC n驪}Q0/O#9Ќ:+Q 2z5<&|wZ4J#ey5O ge'ߣ2qӹ.;lY?vR!ޖ{lSY@M/eܓbkmП8J$VʓXI?*>τctɾ6J #[0I1 :JJ9FAL^x_bzaI &.ws[[-ʳGduH`U-| Ls)S~ G%-(>F0F ^ ft( JQ,/&,&,0BD"%kIs|SR4t0Δ.¢r*XëU:b]tOJL;2{%Jt 58"-ƭN=1VdBf B4Tka*}sy˟i Ltp$u3KI{0VWBBѻl2o.pO&9@oJ+lP[ U~Ӧ!֩ɴ]M Ҕ(?o!>0yI؜л) a-<5A8e|͵B-/dFqѯ36)P \UxU#eI-uŬdJ_q: ph9~( @|}I0{la5=@a^Pa0aAЇأZGK7IbaWHzalgnP9%$] Cv|<#-BpcY9ja37)1}'egu<L^<"=1w.[5톚D[c6- ^_D%0^FSP,X(EvH̘Z37== ٬kzs]lZPm 4ѐ2iڗ ۨpX]H bnr NjvϙyzM/*usOm?MQX