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 !# t % VectorSpace:threads=2elapsed=53.710cpu=99.156gc=4.432factor=1.857zXZִF # VectorSpace! ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T[)p*SP˲))@Xb!RdKFod?]<]Jv&635K ՞}g(3E8^{k E:ɊzМ#h8%R+[hIO 8<>)D 0Jѥߨax6ҙP4])ʚN`Eߑ W.F[F6(s4~`@!Y Os^<ংo$ +83" /Ƨ=b[=vik*? r0ю0N1B$LG+E14: ,{~K_2r=/6ռTN'3TypY3Z<~]gRMѲeZ4^UQL@4nrAi.ŵ ;yMj u#gteyсJ &JH4fkL thgWNf˲ŐoIq2+wGbuԢJ%= I,#-XkycMK~Tr|$d>)VYqs&b-ؐkI4yv]Uaݻȍ`Aтj7{cKAmubN][ʓɠe=~SwĈIbQ 7mEcL]](@.tÍmbgݭfc$ƅ:ǯ@uj~*va&p-ӥ ݢb[ڿi<i\1st?Vak>ҷAK_?oCkŀ#zr!yj1$GW e!+]\ŹאPg4e?HVY<]DT̢/~YA!BY5"+bS확;/4X6]͠&qCbX(MشNL ϸ0P䄩Io1ִ{˫Xs8Mߑك=PJziVCS8ll(! >TiWb0 !6C^ o}^`h#W)c,$qjqX.deנ:Vハz. AM r @Paר#b}e;{5fb#ÕsAne92UU: N꾏q2( mOTM&B1"MegK]X\Lmz~kͪ#V]~UT6OݍڿcqY3;q5ml _NTUwU?4҅1Tܯ7$[sy.@hߍVqAǞas?gG.ZP>f (he MкU3PAp9ݕ-vi!ij%snRW 3Ya_㾐Mh dӑ|T|ft^&c=C7 s9z8t9&Iv>6j_+ Ӎ0 ƚ*\&لN^-?Xo*^!n9(Ugm ,꾟(B}6y͊kߪ!87Y&W&?:rh`|G'm8`e-ߩXO~p$?#7rZ M13wPw<7YʮB:n,wYFmlS!z Ǩ\.?V2G*WixΨ&蠏> !ʏŎ<5Vj7Dc×[Wѷ֌6r`ܾ!vPq$ *\ڈKe[ks1mօ`ϔΙEwъ@yfLԫwc<5 O}ݴ+D診=PWV:c>Lm9i}ԝW5}BBͷ]g؃fB^ckge}je !s~n;%/f/}.fiZ{}4i=:HRОԘD|m/L@Yy%2f9NJ +M{ ܟ@/-,j|UN.Lnj,H#R:l 7s3-R⚈*ZaPCti`c ޲nvs <\awYB NMDīLe4*z,$VTYO&);P/>U]tIlt㜕B5A`G̳V}^rgYZ7zXZִF! % ]ŗXi%X$p^**قRUB&i `ޘtЧxmS(-9F|?w/!_gz͹UU`|.>s1BfloHCRP]=ъdLOE~@yhFX @ [f̠DZ'IiQ *zQr(ʃL;B՟ߕh~""Z 3;68atŨ5tYV˘  ƙqzM'D~ogks︞JNpZ QrjÒjEf0+N2c?J1* qKXSx NfxiGݣapm?f!ƒ?H':/@̷ P{1X M A/#E 85Ւ'L*jogᇲS8. ~ok(ҶkBPNؖ`R]"iSڰc2.fI\4v*x+j~i[%!z!%`VN{m;F{W/c w(]#b=_}sY#>'`X`u%Y{Ir3~:¸gˑh ' y^ޛ&sOQF}4x+s|"FIN'=K/GZ3m7зh9zxSAZoɤ=})[W )L#,_{)y7WXY'zs״5гiRė0&vH-YZ"s3S#r?&ܫoE0YVn[,>߬|fU7/rWI}߾9R/2 CWU CՌҰ̣8s7&3TkO"V <@x-,&kn8_>`J/H7Cu{EFnȕ\yj!LcgtD]bl.o=t cusl2ߗa6%0IIWhXLrӹΉ ;T_ ?| =x2dHNk)-z4pi\7yI+ARA†߶WuBe u.0sۍ3N>qrM>7r%$ᬒtX/` xJS=|y(eY ".Hibnˍ^ ד6ϛ=2!8rM[nQŞ .҆i9l붔~Dh,_}:[w:=J>ӗt?ż!)[tJ-0Wx tMA{i; g y8}]_ʁ~!'yĦ#`n޲ /BK. 1͓QؗU}뺄^J]̣>3ihz{)[oX$n[' (\m=H7M}@cc$sca%*gYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d96907addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 8e7c9b0bec7b5d4ae16b67a973d5e2083007fa98