SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  l+L ] MuchAdoAboutTwo:threads=4elapsed=3.921cpu=9.588gc=0.336factor=2.457zXZִF! ]ŗXf[&Nԅd##[\=gu<[vQ'Sqc '0GN]$`*[UT8D>P5U m-#UWҗZq6OpŊ?醹F|8~Ms6X=UF-dCeV^s IaEJh_B +gYZ7zXZִF! SF]ŗXiɟ8|g80L(>7 '/Ku0M.qB֑t!*!1 _ZbT)K}YZ7zXZִF! .]ŗXi%GfH\/?Д8n!7X.+M;~""CKQK$;u mAbNc!d*бP<'m`rtF2]^HmwK,'~`/D96"C|䎓C;Qԇ= $_ڙ",-K]I +K.c>G%ۧk^õ8oقQ@+78N&nYNfD? ; =t"/q9,7Mw ׵ Ty/[ ~!׏9] C[7(YtbH;9 33.1ti|۱``=[2e$狷EB@zl !뢵nnȅ{z Ur¦ y`BJlE dX6]_);Uzcdgca<'d?b.w}L<4w}iR#rTzvSC}D,{8Iu>2훊a[j%gm#.jTv >I%o!swc=˕aP|ߋJ S%TsCFIRNs<8~#~XC(/>Tp!+rߢ`0'_p.T)-R9`^h&"VL1](EzNUrQfۖp{לzJ\ғdOPOfOCbƃL7]z)=<SOӇfV[c\wik ;Kpa3ǏgtJa\Vbވug=kG@ C{X3$4 ޫa4ULV!/j`ty$']kjgYZe8e26533419a8508a0d050a97e3cc842624a8e301795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 + MuchAdoAboutTwo