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 BB; l, ] HLDE:threads=2elapsed=30.634cpu=52.572gc=1.388factor=1.727zXZִF! 2-]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-_W#DٔEP :?@7k JUq-~tcIqU2Pp_"lpa Wd4.NIШ9nptz7΅O/@]c2WnR+U>"z6`?Oo*cZU 1s5ÞLՂjmgDɃ` 6|5!7!ń8]$lJJիёrTW KRK-Q&CgH>c?8D]zBA50ptz t/uw=) =P9%^g Pv4N>-|D4)&4KyojRt)Tz\*~⦄qTDCq#QۿW`j-$P$s|-&v,[ 6tB6^_@ۃ'G"_ M:Ǖۯޒ9k^[t4|Y]iO* #y')zP9oީ_~p?sRj"p.F Y?2׮2Gc f.V;2Zz[ >C+GLpaBZu;f%R([' A{V٪V ƼOV™Jv5sO8hx3O3F `2Hq^:ٝe<4]*QWJrf:۩}E H1I$}jAܯSPAkG'- mPX_1&&y=ZZ<ϧ֓ljwZ;tM$xw4NN9t錖ĞFQ+dPgYZ7zXZִF! ]ŗXiɟ`]ٲP`%`U^gl^UTVD1-Ҳr^Q|$dqYz%{x'wb 4ݭBYKg!;ɐ Y@ؔd>< * MFlʛgS @ϒJdIzKkû E9BI?* Sӣc),<C`'ֱgYZ7zXZִF! -]ŗXi%>gr3x$I$|Dr=p?caPŨȏ=)̬Wui{*F2`Rr{zK[!5ⱗ) #6mb[߱tP;- ;S*!@VR` +:{јINegaKҘ'&s,^pLlji##s-L=mI\/@)*8FxiiK 䄰\t,f!ᝅ<*;N츌KWD>q~b_g7G-i*ոah{֍$ŠEw-'}mu=lXb|倯c1 s ;bʾ{vuan%7D0WAB5pw[]D}9f79By=ĂAt7}3C:f}A 疛(mkpPh(}~ciB+IRpՊDōED_|ڞ'ɋot^S1ӝo@t F266g)P {PڋJZ~jmq/On֑4"FiҢ?F7ok!{k&8_x\GpQȕ=baiwi/&{t:+0bW 6X籕I]I* |x_PHJ<49|pld+Qܮ 4Ŋ&QHrJIDh!]eMbF{Cv.P+Gyp(*vs]J"}:0Zes(Uej'GmCZKZ0WK [F)jIJq%]ϓ#v!ˮ?daHa`0p wvȱ`dxuvaOZfV?.˛n%1GmRN7AO0%I%|([u 2c{mg5$>Cc8gbjj3<H=R|.EF3Q Exf69o'1+ O]sKMM5W9D bt4̽w/nn^c+N1B(3dsSyc}I e$?[F$yOT>E<ͤxQb*B4g6ɟc3|+M,(p[)T& ODm#+8<, k)ɉu]7AF9|5[Ĩ sxp140vQ 9C_cAm^? G (mRmTZ{[Oj0ڋfq:]GLx=?uaP|?`'ؙ~Uλe?^(j̄o-z#5"%DZNOwjTV5[