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 ../9 td ?/ Locally-Nameless-Sigma:threads=2elapsed=38.425cpu=75.484gc=2.972factor=1.967zXZִF! ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зvwj+ҷ~&%V5)4۽O-UPoW23P#b#pAre^.oXz F`Zeg5RGѮF^ڳv;q`FDҊC>s|鋷$ZY ~F[*'@o7&=]'V*XJ1/3pSo̷)C䔰sU8Vl |LW:jUյ!YOml !MJ73wK~Y 9 Locally-Nameless-Sigma^'ޘf(OA[>;F̏Q;-/]"s. :jbOo/Yph&P'cv4oAEk"A"209Her[zo7y\6#," 4qĐP}- 3)W*M[L ZEd\J2)-R6=֎*|P{G3~/2'Wlcd=_MAK[^MVrjQö >v١!jn.mG(9lq|΂+pz< ȋnk}7o8{0dC\M 1X gMR-0ѳ4g767{q&5B @ţU1.1`aJp-hSM̙YA}BLĚG+:YۄHbH?+a8 #:g".AIlm!¡EL4t4bQGS9{gZ-[[ӿ<,֯gWrwwzܚXHF+)_F}h^PxAil3*Ar i[#QJgM'̇J' 4ؚ=DU3y1dSQ^0~͓#2քoS̻9xE; D(C6Gll7s&,t54!=E 誵=@F+*Z Ӎovgv="TNLҶ) ̦|pGo*xJG!I(W3njt}6keJCϯ˕Bڹ6_YL~c?L:]Cx/|f1ƽA^MF?ሀT̡"#Y5OQ^׏nE%\Q$vҜ *k㹛&FU /=ۭĔKҵ/fAYhpan  %LSO9xj; a o)DBT]Ij9xAeսCoN7NpoSd+Ley$X >ۿsMsAMyNz׊@;*0RQ<i`ɯS`η4#}FjESmuf "[+D6H @L':Љ,Ra WAŧ8UB7x 1'5*rhqԜ7=3"@eo-Jts%d?zGujBⅲ G~Jĺ`n{ldXF*@" P֢2G.H؊ BGYU_`׸[s8d&Cw"ŽBck5zB8U~b$<լwR<0@V(~Z=6CKa/%_8%/#f2g"$Mؑ\<]yg I_ϝ9ÁAɔ}8~#c^[[ƒIAa }$]G+Tu;qO)&[ d??5{X{J5p#@kxÁV9EafMa>k 0j$aG>|tA0Q( nua@tqRh#N7zqR2(o$+ YguH V9E)ganlk!PZ!޻MJH ^SG!~&oġc)<3#A"s5i6vˇC9>*yªb7C}̾\#_fer"8jlrW|@N, M~]@zl*{EY/jVl0zg-kڌB1Hlx&~YRKcR'l=Pn w_eZ=e 1\4&$jS1( l=9 RS*exU8WOu[䕴G};Lac [77?8AIpK苎 :KJ/,m@N˒'ZUj@c9\^{w=*S$ r̘}3κR8-u\j$H:@KVwEѵ{:F˿ ($A<) RꮒZÆN#SHCN]s~yDAIT'K9(2mZ(Hxn݊8yܽx;sB3^gm;-S`l(luY!j,mk~' ]?50WM[GnXaۋ|*O7SDP5-8LA d?Ch 7Te$Ru20r>)V(.Nw%hYOsP5 [PP>\sĄS%bJ89ŸNfS~-ݝ7^^90 hFIgdeņB*pMT^]gCƛcfUc/ݦk=C7o:?_@G @;#bzIN~?[S]C {&FjY_&B3a`|t&K/ L:w6%ACK@}7,LrFvER ,d ؂ፏ+\Y J_dͷH:Q]uTNƂ?JuªZNʉ(k؎ۨ6vd|O7Cc;"!>,gYZ7zXZִF!  ] Xi% όk }yܠ(M aO+ gI+g!',~I}g/QkjR+{T{~E9O Łq*S?*GN) f Yk<3u0Keׯj.k[DRՒw8o~"DS#$ 0oYoSu>7^&d_3ꭖ`6!Sc+ %Fp^tCpYǀNzVefyb 7x-r/9x jY&7SG? ]`zbx l7a^NiE%k6ʾUꋶ .3FL'hzyu4,I6Ztyt{63y_~FWo cygb/&|xԒ\SzbA|vKܓ1N צZ4h_5@bQݹb? gG=ASim?BDy;cXiョ>ROL5 |7]-b kW}'#] lakLPfxգO_G?CCCŭp:S+6Ff^¹;H ͈l#)˜ Zٸ&1Z-4 (@B&C3:|j29 lbKzF.w EPѽ Q8E0 0ܿᰬ ybɋ#w-sJFk5X(5:KB dkJK+ғ@<&\ԧjT!v_DK2`7!)5樒T$}9I-4\A|NP(2HҁOf OK.Ku(ϊJ H&z~׃>f#aW*hxZRYY(]Q^ )U]dcRAQ4 B#δI-.uc6Mm|]bDfWޡvc\˽6$P(LOeV~] C~E3B+!$dvĮ / $pz#@Z+\(gV(]=z8`?J\Iv>: ܍)/s3=o=td`2>M_ #>TR3`áyo&*Ne-sh}PB a`8t3lj1*n):f·'2&fR췕;5}%9y'>uo{]9qpM?Fr ?k92a6" \}طn>W8t]_wTx,?NOCF"炖vxIkx;snig:H_t,Cz 8K=v@NLZgI%С8)RB}ve[Wreޫ4{8mwzI1Ȱi D^HAc:l9p+oDYIC\vuc '3_Bեx'R- AH%f^J(WFs5|V'q r>+ iR&UBce49}yo×{͗~X>{[gR# _>fp j4mNczмL2udOqpwe{jwdf/ڌ=Ts->:'0coܘ*;f(1 i75O@-G d4@ v8|`(y;7F|f gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 8bcd5fa1bf37ad3a41ebcacaa446cee4040aea10 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f1453b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd