SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 N)Dl< ]]Refine_Monadic:threads=2elapsed=62.957cpu=114.080gc=8.872factor=1.817zXZִF! ?j]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZF4aznbq ;b6J{=^H`ɢ7&m~vBd,YOGg-𐰌IHPMB_xHE Bqǭq3oT*t,(E6扏YBK%Am* iQQIWlj,fJH4hm3+Y@›YR5:GB]3ljbmeLytS}QW2etyf;UgfM R:/ ^|B8]IvY). uh;>;ק(U7HZBMI _)t{F E)4|`*L^"Lg|ȿZ>3n"{L94>T3f1;LgroxS:RrZn"CJ>E%\*Va"[ kr %ib=r B8F272h!R9&: xLIuX%xKAv]󳰨%<Ӳ<['nH6QhHXCU*/ b|jh@R [s+ɮN,<1 tThyzh%>!6Y[Mz^Gvݵʁ`FW->C>ӥImQQzx숬$(iFeڙTnxsV; i!+9&ϧ].n$I^|o! ގ>Kq ǿp<4ok8m*@>Z)I)3!(l6VIՐг fB6˗D,>? Ӹ*)+~b\>rީ j|BZ~SU<זiӢ&;X'䅏\MbV `kvH@醟–Ӹ5E{T*ܰ[QO?>bYu^>Bߩ'']^oFgkgHhx}^ـ=L6`~GIJcٹ Kʔ>|8v_rk &P3]<"$ 1cHDE%Hr64q_|{NgwTo1u ijRxL*Km DK>W;4;QiRxuy5ɬyI VC.P&`*>ȕ2SӍ(ಹ i$_d@n5 iܡ%j+6s >3*2{o`ThbxҚݻ39RtjCx Iu*HY镚MsMzh^M˝r6" 곚t5f2_eHZ'CzQr#>Zw=˭2s?S~z>jtkݚďDRuЉPE.c26Ê|[7[3C-4zOݺv'>K\|#_CV{fCT5F8Xmo|,Ev ~.gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLc)=c7GM(uCTbN !{jx<'w>HWڮД[wڥV R觧ZX-[nC>n Gr'U{T-~b}SC-YtՅ+>D Cq8+_ZJ8;usReZϿ#EXT9s/^.\7G`ZVOӌoZ;ʦsg8hEo\G4SrIc*j}ƪaurG{lV$EP&6>uteGؔFz}I]^ysWWN 57k09iPi.~GR'LNQLpvX9$H7GVeK ӿhIo`Fx>*v uA onZ8K!Y@yV@;@S;5E^dy3m£_l55 J,k@BǺ3Z`^  L5c` .r 7 PrtNm%Ғ ȲM>.1dΩa\ZG(_?6 Aeae5NUD[6BWf߮*]~vPg?UVţ>*^u>?Zrg2MXqyp?æPv&? D č=4oJو1t4~|6KTBpۺ.km=1KG5Hd_njƤy7O2ͺԣPm߲ͦlrug4Љ! E|:ZAĩXn{ZցHQ ) Refine_Monadic  lLm?v1dxC@ދx*77dY{aƚgZ-t ;E|@uLƬ iÅ'*$4ޑ0B ⮈w O(:0̼?0>qK5 [P @?,nH'~T괱 H+ Բ-NI1#=C%_q7b&MkӁw$z=8 8?/aq|~sb}S' .sBzaHߣ LhqZLs%% 1*ZCVi+̄qU6gu8<BdV)aɖSK,?!~7,ÔJnN-Ah]V s";NkԊU'PX ٔ:(;1Hu9,L qScsmR ۍU/u~y;_:N?Tf}&@p>/ȗ8׀Dhp?ga2dzw7G|⌏/&Vҷ-Ea|Llwvp.4bA*O!qXo>0#^cV#5c=T cCآ42yHtAJ`:`B?`'LU{U;gFYGwr|2 Nj0}M @ oI5mMSaC`Q1qsFRZ[&1C`dpNj73QD@~W R"HG.Ŏy$)bޚ(EgwUWcF|.O0a nq\]D{{9!Oxfuj4s!AU8]> I0N;ĩUE;Z9qqF~"8 6<󀕌4TVU_J I h}1MΔ ֈOh|Hu@Ӡ֋!sqmjoն TN |=F21I&