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 )) d c BDD:threads=2elapsed=78.568cpu=143.508gc=2.592factor=1.837zXZִF! w]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtI 0>&IZtV  BDD1CdyrCCԉt>\>Sm,Ec-leN] <7!W%$D1ލOclTz26:\}bd6 's"4? f$I!%K]~!u7Mtoiаu U(֬}y;h19v~7؛|. D5 Af#߲<=j"9_b|HS:nl#f΅D6srʅ# >wa 8PPrOv>6GoʓTP/lvlk{$tO 1(vMO;ikAZ5oLQ{m[y *#==wo%Aaڜ>IJi 'dZ[ >'X 푑3(,#xHIkxX+41~FUďT{DqXISn=s+Gm8^Q$.Ts &OH({{}MF鳓CXQ)=o 1I +blHGh>"^$%Sz`&f#> T2ޗԹ h:!wXR$flo!D` pV{zw1kG/[igƃMG\3L1THUpQc2gM%D&0 pGNH~pnURJ\¥e^yǷ{ٛ!g@CFsLuu-͝9 CRˎWc|ٲq ن]-~i%턡jJ/7Pq;؟IҌe ĬpZ85  at^imq'P bhq [TS¿s!4৓i:H75Nni a:Xʣ*3%c4 F*y \,|+(LNƾfx1 3'D[QoN!unK'N;" ;G%i|AC)s7"L.D|k>PkX.3ޱV$1(j+Y,2E1=npKV* fNM~D (6MP(ZT}/ΚkJšZ;[jƐQd |5~,4uʋ7E>D6t lm/Q5hm/8%ǖ'ɥZ嵅-ҥ͹/F' ܯ);A9_@a|, rl.GOaEn_P|EJ:Ba80ő4U84ɪFHSDwb_c t}i(Nj5hz=W. [cTZcW42!<1 +Kݣg0;"6HN.(dcq3VOnM7⯮tNnx j|ed6;V%NסׇrsACiAkqGtiv/&{,H`uϨbÈ |ͼl0K;Y[Q=<1҅KbelZLpZ)Lw|Pٮd>0?E^ҩ,n:ldaȖP 2IQgmE VC:c|: ϽjV5}W/>zc.Xi!^<<!^^i˴w$yTԠLSq ;!D 8/ڄ).MI*݄鴯 CP}7_a쀖32yl?usVQ] #<*}&R=\Joj[s%> ɕbKL/(g"$(Mpۻ⧥m]=ey2OtuŹɃ3^0m) AV.v_P-(I &Jr*UBme`hja#Gb$棥b\t$6Cx<5 1N1ϭ'%c:K 495KG\N1_Ϙh)KjmECef3% l\mn,'Ɉ!A{;O=tT45J0=$M*Yj<`*ts/V@Ap@?Wm\3*\9%n9"k$c[Q! n6/iwg:'(Mi/ V XGȈmV.ejA8 g|2TYR~"ڿ Q/[H0!|mdG3A:YĉwX$O {l<ߓr$Fk ;n- WW6dX41lw{(;g(In/Tm$H x]UIGϽmL/a(YkU/W jR\a$a0^p%َ$ݤ֔|l\Ve)bL{c Z.R;hx _ڿm~,y[2 w]ݭ^l1#V}y="j!mM1 0r2|e7)'J? -Ye<&P}aI-@N70M;\MVҪ׫k 4~&j*)й  %KMxT=~Kǧ;m&+J{Emխ:lr%_Nr7j{6r4XCR}@A!HTDVWcAjk#`U_vFe\mubTI]v 8)HdH>d䅱}MY>YpYehs+SaXlSw,u _eN~$㋣dT4Ur13ʕ#q񛥓a۵GAL}r0A gWWPKBY?H/rԖ JԐ^`9N,O[ 9 ~D8jY?||qgfբnF_-&}dBr4 wKIf$r0^E Uqj?KKǓ 营joaҴ;T}[Wfqg {7o6 6ƭ3R*O,5ϩӈ\k+[Tkgڅ߁#'H{Up> FempNoC;UkO8Z1cd!)7З԰gNZ#6+,։@+@`3~* }Xi<./V,z[Ȣ-0yx u@j<.S7Zo`Dg{/͏06:ƾX+ O ~g"?ü* xj96i1鄕euSzSTnC4ipvp^K1כbܟ#Dk ~T:XaV }۫h;ƚD"p6`|ˠElGR Co$оzficKe9&)S-Q-s+q{ܥ:x{[S<䟔^ vy0V'wg0>O- Sfatutu}%ފ6lUP%Џ!PݺNnQ8[-tMr2_a)9ȍsA  *`\4G<.tb5e|:D6!a7W L@R7+#'վ2nSUXઅl%"bI)XKL_gk/Ѕ MA !MhH5`yGįVzmag%;ʁsq}1o0k+ 4էk*{msLP>)wIe&6sNF#nؑip#DG;Mg~;_,=U|EvC@>ZmTt&}2% WJn¤$Yb:pWV;D@*kfS(,텱6LSƓ״+:X]Jn#ՊVj2Hc1K-.)kau]<B", Dަ:"ʏϨ\5K}{U$bC?5,NtǶ~ <>=8_p ~=AAbN8m# ͏KUjYhO4V >ӋLЙ YiqnAUz<+޽~DCZch~ijz0.էIz:&'-㥨Z*|SEK>eq\K %b3,fLot}y8Tٯ0ޓz,{X";'u 0} 93 bNU/=yT^d7^M"nvdлNѨ#t0R/2Ҳ .c5-%L/'He\RzN&%_'34ʯTm*6)2)߂`*Q/"W6?_ξ #MOa雛jv&}$r,S=45FŇc|Aۢ(qs;@(uCE2_QS1QQ?ۣ\Bķ d\/PqyڡL&O8KsQ8X<"R41 =q| q7 ܦ2 ɵ9yKx%~ms<*pM-Ϻ%#P 3곓N% U/Hh@~Y f1k^/]ɺ%>6j5\T@>$9>H[T5^bbBRo]U6d^c\݌ /#ם/e@Jڈe Kй"H2w;^bQCLG&1!F,S$r'LFgL$q]bzڵvU:8OæSYr2SffAvN)Q* j"*< FأYl: #b P*cZ:U7YKr%;ELr{!/5È? X8$S4*R&6@ӧ= MJmu1 ף%܀-^۟wCjì5>_+h;j8¤-`<.۲ 7jY KG07L[D Y;쮧`g1-jhG)9 qb7۷i-0-FJ!بV(s`*aε(ˡz+|T;ΥG(OJqGwVyxK]=刜9 FM"t<\B~K쓈^L . IK)#Dk &v JX|LSc^~ J:+iϏe3 3<~|6(; v?%0 v'Kf4B}8RAOTp@/7Q'#yTԈ᷸-RltM 5qu yN<=Aifɭ8[YRgYZ7zXZִF! {]ŗXi% { Q*:>rb4R T µ(L䄝Qpa. (S2l_-c`lzf S2^y$t>-{2s ؈^wH e/FWam IsR.ں,%%eثs%ڕ`h&_|P4VO[Nw)L7CH/ZQk8'Pat72D%= o񔲡xj?eHi]Ah/W1꫶OE%ǹ<٢5ic֠Kfe{o>活ǛV%U_\@x>#'کCp̣Nj\Nv%TkSu%9^|`a+i\%#QoH@En$ 0k:̸&vvnQ58tiA;rI+A) Ygh :uڝܯ=phtj{Cwe5<]W(a4| }S17Pv6Kc2,#Ni4nW),hJ𒺍tZu:<sq;y-]Y i{)&zCT xkUG3>vlWߌrz>f5.r&3Csa3VnejK.AܽZ)ܩasV1S*T?ByBn. aoiHӟ@T.(8U&j!\9~ Kԗ,ІSWW۲Ì4 8!ĸkBQT쳼}}~T5@zp!b.D+X5vsR Ok(VKLtԹ";5߃ cT)#&YRquvCmg#YSeM"4CeZ̊'T0U13D4o^us.%bF*؜l8gʶŹ?[1ߛ uN96|<Ph; y\M|X9 2[g;[rrwׇP?C\N/N~Z P"ƣ+dhǐ3/0[|PN)s:Jd,@wV*l?φC  TOKMw8N:L1>{P臺mHwgijSF,%ܺVq;ةN S>K͕ߙ~D?`> 9+PRymAO>=vQu2)]tՖul/.&:1?p:-LFG :$lROL,HD<„C:deNAYuc-KUg ڱw⧦QpZGUr0ET3\7-7 ?Tz=7 ݒ`qPP)m5<;D@x+$#B0#Sj"((\!ʫ)UoC1'OXqAPP˄)?gkyS(bl@7' D>LNfuI-?0N ?WϢ"[kgzfg0i@yadhmV G[N iI=G-E[Q=Rϻ_PKyxڝ:M{JzEٱBn>\H椃TpXn]kA8ۏ51Qjv-C {XmӸ&@Y £%dA $诒ip1Uqm>a2;G@Ch-_cT(Ç H&!p3(A(<UwiQXKG`$=j:L4~rf`tCy, ݑr}/C c)d,c|[03 5k43ra'ʡb}HrIL1nwFz/X^~R 'CE2dMó~2M:JbCl;.|yג>^d q