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 ]Lehmer:threads=2elapsed=45.869cpu=81.348gc=5.084factor=1.777zXZִF! T]ŗXf1-q恈\T,rB7m=ڜj<~rd#&v2͛U&~sJm8GlJ!d.X@wM/Fw$ul$Y`&uc&K\{U7;r]<;D{Ps9ak2ڷ*hϲXrXq+J3qaoW'Obs:7KESbXr7ӥ$u5ESN `rU)'>8~l^O,.4>u],c)/ADPNB򨐛"M9RJ;#mUj;ׇ[Ty"H~'a {x'9P4|`q8֚4:zeCE .+Z1qX[͝m޻SL:W7|TXZ8y?.񚬳1DF~̬ˀR뵒U;_;   Lehmer{ho߃2|K :Gࠓܝo L|S2WYEʢ6ɇfv-@);!x+NlsPnVʕ5OAMWx׽)hLAP3=SNa[c`wc,0ϖN[(U^S ny6]eHqڨMb`ʔĪЁ0nصkh N(5XmeV ^m0!!krXZw:-#aS!$bm3\2]BloEyGhJ,VljJFx/ Wлbd `$V_abaJwVwegl&ii/^N\ DD(ؾ5Udm;!ǀbT,)y2YfIݿ\( -$B גzh+?LZz> Ղ42%e<&w^ÞB[~r2>e;Ñ3 ֟w3I/<IWXgT蚖! Tcs(qN#dp^IE<7/\'`ߊ0K@ o-;>ϚVwTK6cp$RfT0|*;c2.W"wpQ:ٌ=v,FF#i8 մIR bW& iKkd0*a}NMӫGv2!ϳ(H9i6x]kYRBۆS^{Y>1^?xdڻI&]q}Z\S╠XӲGTl[4be#)󖜬I12︄, 8^rKI }_){8 <).Y ďDGATrlS-=#z{bأGFX#k"+QdE4NǦ1iBl YPKt$2Ck&BQX]83[85m106W#͐y^U:ԁ+*X AhDuP'hd la[?6|M&ۺ2cQ>ju:k^ ja2jHr|ٷɠ!a\Cst ;aɂEKBD+1S kSJK$@S[,t[o} `mԫbCzH1E[82ȉc4?=>gcHlE]2[rrE/6CӐt=NH #y l81l9^D7H!]/jzBزN2ΧM/PրҡѵmZ2!GV^󎂧vݣ< $(\-r (X? TIY".eTST+?\xvCдtۏ{M%2mMrh<7` *BcJfՠ_2;Q;&̑zs4X As 49Y XhKfHxE\=pt[NgO։x<FE\D7aCH?|_Igd̈!b?"@\uIZI) $D9y␏H7t,EmqnpJX蔧Q͹ CNn&?7mJfܐcҪJbwlx_Ӗim'iN='NYT55qS LwpL<Tϰ?Ԍ p<~ T] 6p&OןPJChv(RPlDK,p' d1`$xH-6NY58;go[cըDRN6#5:"@[" .a!(@xq.8MjD?]>/;-2E蜇ҴÒVBϊBВ07" ~x|^;#I*O~~AnbA7LQQe&WU/~}YcX-%%"Ǽ+5)>{=z=J{NJʆ]cK1K0aˤ7e=e8tp/I, "AA7?<&KH"JU+㢒p3L38 jzuɀ`D)K/|7`A?s$¼tdP瓩;v+,EYϻd{ `Y n1/elC"WhjL ouv~[esSҹMҮzT;@ 1)BDN@C  T+NZ}sFA7Soj/5SY):FRdqطBJ2mYq[_-$;@W=2'My|w7߃aԽTm¶wJuT.ߒQ]D Y(MeFe5d}ȁJ*cE1*E@")̖ű 睃Ԇy˅bx 0Bsl3lpRp@"Sl@NҀt<f;|9E[4 gV9K2ަ|=26q \|vL~R*BT詥j 'SmH'UPpٳ(OKSŕrɆ;]Bp2A|9ێ~“bb㿥Jۙwaڝ@1u=?q1NP$FT%k# b/;4#8?kLj<@/E9ji;M[ -"#/A|\$յfmzP࿹yUt{DId%fD^%[:SGtJ+iޚ' ZwS[oӽ;jǙ k?UHp^>> NfmgI_,H؉]1ϐ ˲\Nj?`yR| B}P WKTUZ;Z;Ej"}jLXPEMBL([EF̃$Y-mGPdi4D냫%h F?9'%bH70-JNtf_*L$d@ Yw C{Rg i>EJR?D͌%='t驡C;G5SΆrcOH:)ՠ۱gYZ7zXZִF! ]ŗXi%>)0֬3Œ;&6Z A w_#Y<,c+c։&:Z6 +Re &viWh YdWi_]Q\NDZ;'NSi.imbgm[Ama 1>;Kצ's զZ_&Γ O \:Y+wkYF"ɴu B VaT){\p'q3 Q5񡕢QD)cÎ/J6 EA1P_a`-jb ƖMjծ Md' sdզЉ܏֊Mw#PE5]ږtŽ T&gKP֣@YOmHAQkON޷燊~bLSWR Pc>1ʢU~)əu3?YGb}5!_R~NgW(XCPkd i%?_tn'9enqg&yK3 %?Bx_^uVvvFGЮYf;Br9Õε:GDf-g_F8D'i0xl;|>T(LoXXTERۍ3'FѮKhF%QO+iܛK=Z5\7> 3dΫ eY/Sm3߀$=VTIBNrW{L`],<٭kR R -5W J+I}Ȭ 9\舃/g1Wӫ9%|F0|$ z8UQH١9{\G%vaZE weN~G8@6*(TB]G`VX!r|Vw s0%זʚ&6bɏm%3uVכW)ql2xD(@TcL@c 8"u6`,S!əd=hU҉?<p^HvAcYi5"Y#FQKm)CңqX-ܝ {]uœ`#}r9x A-iD<sp]u0 bb' 5nx )NHqnA*Rm=NyxH[ uHIiDqg05z'mŦ~z4Gw|xDK*`1 >Y<`1Ds;J6_Px?R+hoH5ߙB;UWϺ66[{Y8vjd۱=6rKܱG`PYq֋{w|8}u镨mEl!_< .䜾6Ձ6˿*q/E: @tpܛޓaYi| 3]A\bmG5 ջ5<ڗ,H"ȡ=Oe