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  ) DL w Binomial-Heaps:threads=2elapsed=17.969cpu=33.600gc=2.824factor=1.877zXZִF! q_]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|8W``rnf}hb:h`U`u$RpF^^c mĉW;C4tK ǀj6=&bә9sFlGZB"0o**Ie!H3E]>1?>]F> ) Binomial-HeapsB8AFȾ&C{7"d]o. :>-t$F+kH"M#V:ӜXK:Z-lAb+y /):_:B t'RSK. 45`4a*Fj~%-W&n4J0ҩx6ʳ|o0Yq0.KZ ER/ٗJV%8;dxYd2wX"jSҰb רqeX s mye`Dn1}VnN5;yh!ԟmHs (R Q8ѽa*CvVm=pۦb@l2v8nv4_(1l:clA=|@ە@#>5+Qs\tRQz7+L,VrK5MG~3D_)+**^US؇=zR qևk(/TmUm+"ZͧP5@kv& .V63q9mH>0ý8"Í VA*yf"?$*C:F4ϵcWk7<wAl ͟Sdu*Tj.(|fr.咍e[6D C-R"rKrJVi;bnvKXW:|.p^=Y@b8O\IXz q~_u$$r3F}N2>Uu[W ؜h(~%c{QV9[m3hƝ`m_sR>lnY{ЊM?Z~D/o@6; t_;|W[HEcqap/Fˋ0?z"^~fsrbI3 J`Y3bM7bŴ7Y&H+ ;UIWyKv_\ΉBؼ5%xr.ϊ!=Yh o rΤ %FۯL>frʁz|C޾3)\@S֋QAwu9r#h7if ^9.F낵,taI_1!|ޚ ΀40v3iQ/H dphļ~Yf=W46B15մ1K:x7,27UF)l@kA,t5_m9٤u_Yٚ{Khyؠj`MF.J䨎u96EDFO~$k֗w3;n\ӡsA8KɷU/ s*uao:* 3yiDf`,%dXAfurD U`0%uŶe>l[1,I\a"*`-̘oc ~%Gا$.gYZ7zXZִF! ^.]ŗXi%?=[Y_>>Pc:ऀMo=`Ƅ%[{]pV80APpr:1BboCb\B2B9oJ׈14_IzZ "p=N}D?Y\Mq?նו!-9RQ~ q9k̎y!W%U/fl{pqUFe3M^UԕiІGl#]8KY`R׮c_K+Oh 9%;-3 W%GZo"jOzBPaSz"xx\zj׋](YY$wrFۜ>u` k`!|ɺ^3h9EGQ>+BD7I e3xv)tb98G0.R2pرa 0vݓrtc C'wwP8c4TCf۳[tF*<{!`d, UcUk5ɒIH`_5 Lm<6YD%BC?4oP\#suu^^_L%߅dA9gׯʊFzj1Gi6j䔙|P VK4=3iwXE>{ {hUHg >ng&F:k!.lONظJ3TW}Ώn̔XP4Z8}@+0}pФz•`{v<LaL@u%{-#T?6 %o7ӭm?+t߅._y< [rtl'/ 2)345oMGF=nweB+`,;dO]%i50X N˜qCiW{7r籴X}##d,`(GNA##ܝ2U?3!4gG̜:U[![lRRUXY0 ٕ j0 >We~Vހ i Ke!~xba'S@u{ >|1H,11Z XU@Si(YJj!cuZ9g7wK켔Ә(nGz]y5nPqσaM`6d/$7b)zD   gYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef480db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6