SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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  M3 $ w]Probabilistic_While:threads=2elapsed=50.780cpu=90.964gc=2.284factor=1.797zXZִF! 2y]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0QR6_{a@vݟunn2 o[8 ɊgWn|5Dɼɫfj PQot^|Lv=!l-[8r.W$t89rb^ޥ ~]' YmyU)ƫk6Vbw^H(9qhR!uOI.;"ҥ@&TFb˽?V꙾vN aW8Y٪'%`O0-?A~z59!^1! O@@ȄT\gPw%BXʒ;H p>YU"s#jJUD4|fv'4 ^P튚F8<C܅ݿ)7ME+ IУuSޯ7P/Dg5C,k@%>yVYe'`nca7^EgA`˂*ٲSŀ05E%S2!9jx!,س|}ӱ?8 X@"W v+a7؂c6dH+O[Z/KS/1<(BLKU)37L_]y:1P ރЈ/*N(?ּ@~II 0 =זPWHB =muY]F&$uI@p3-a GUїWgcjA K҉*Z)J˽M=~.ZИ.&TRj Z}eJ*& ߪ X'ز8^TGs\,` G1Yo,XQ!l[W9aq1MO` ,ѱ}AR,3|-Ȭش߿&Y5~7&1]/_, :&/:sns@$3Jk5ƕx&7Porm}IX7<{JW&f @ w P#~|=* LggHSӿvbm8Is37lwZZ 7rs\ U-p3awn3H 5xUIG)'u/6y0HSyD۴ʈ?lHy6W\Ws !.<}Iَ4C ~j&΁-ߴQ)^=HYkv h." Yn|G؞$ȑC֡;Ϙ2T5 4lC:KΩ>S#:*20wy8"d̳mM] XeV egYZ7zXZִF!  J]ŗXi%6p 3 Probabilistic_While)B6ʖxT\`'dWJѮ/|Zo&o~הH"27x.f TkR:wl{ZgWWQS .8,}\JC$? i59z:$!*/hR$8t1&?)eh.x`}#` HӺTNKD V4ಸЭعe c}cP/hgG<&\B$t2;bB*|!h;F)Qi79?bSF/ER>}!OR9e^at]̯Թ'9e3 },(/DRK碇:晙ą́4=E I3|lӜ9V,'&`OY:R^ThtEnc͌h1IK! t1Jc0(T)*lב14 F8:]4XUGlA,iyd'n2zh!SW?u) @p+" @W#r^y&@Q/cIQs>ߴyA0#ǁuqz'Z T?uPitܢo:,8iBDu4%fP" Jl?{:L}(lqd~F, 4WiS댸y߻Th(`6wp2qWGt,7sM/0l:c'c91|\uG-N 챢B $ٮags| tX UGtÞm֔hƱ; h682_ (Uԑ='*PtJD`>Y%{"V5=&*L'4o 3i.-:U៫G mz<& lΠH,Ao\h0xZo_|i)0T4 71W2tlHn1Ep`)!Lp$pm![mZb2l蝕Bgz%9XnD9 )O&-Oiuzꌇb~=o>:Nz!i(x#y~Y۷-c)X9W/{c}#4C9L16$&QʗdAK3S fHIsBf w(Piy|A\NÿG/fhkv ˸WjtCCxX`d:jcH(_{/#Uz\;޿͢*{(Us8'ӤT_YT7I!ar(ZYCO_B,Ln\)㓖Gӟ倜Gjgu~FW*,CRRp&z pT Eź'" % \  cˠӄ)X7>i(,2L:8ait{Ψ0LȤ_$-e1JMyK.Kp`Usg`zm(ꨇFsl%|}GHX#1A9kbt!ڦ `W(餤7߬b!=}{30hSp%Y]ůX ea}$EC^l'%G#0: ݊mP( AZţ)b~;nAYj5vq,9JL9q{m<6s.k*$qTBOad!FPϦc[ F,V8**hlp&l8~;28 DdB+T8|'9wv2sf[n/Ry7lFɿ3}_44#`BVg7KĐ3K!\A w&6`'Bi]n o8 NHfJ\2_T:I~攫wGv6R>j?;}SvԽ\>7'%QwdX锷ZrWe1qZȱLɉ݂sӪX}+P/ׇ6G. :\UvGy)S=z_hX4miX1nP5 Ly;ÁfQ\E &Q!jcadﱫl^(Fռ^ +ݽ}Q.gYZ0bf49edb40c171b5a6735c8d09b83282205327c1 14c7968bcc02c5fc3c9fd1883eae0b7dcaa11415 29ff22ba7cd2f0075da729523321d79170c96de8 391ef19fe6c4f81911efa0563f17876236a3c4a5 47806292bb18a6691cb4b131c47049711776f44c 57da9fd93309269050dbd198f7e3d154d59072b1 659de109d93365202655115e3694614449557a2d 6ec6ae382c7bd4d15415a61ac17fe28f2c78a24d 7da78b327a50077ed8cfaee00ae9937fc30b5389 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 a6cd5aee1540794af02f3b28d28ace215be0fc64 ac836634014cdca4d530faccdaeda9c6eeeaaeef b771cfa1e6febf366b96f23ca4a7a50f11030363 b961ac35dea3cb9c97417a14b5e7dcd5b390b9b4 c285ab9a0736e5594a431a2c08b4af0a351cad18 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d0a3dc7bbec2944bf818fcdf974d204b42c23273 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb5f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 9cfa954c1991db4fb676a015b9dcd5e692064dc49d7e91f21079d5423aa6e63331ad73009f242763