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 c \4l ] Tycon:threads=8elapsed=5.451cpu=18.847gc=0.751factor=3.467zXZִF! u]ŗXf[&~=BV ) a¾!H/8U^ۿ}McE,DžJ&n4]?w~AGgA;@\BtE ~sy3@CHUJ#>h2A@b6  ENmS?.T(e!qfα0 f7 M q03= D1%׼RǁoaB7~;ހeɹ n_gSJR`KUq)]vInE2= Ò@ŌR=(٠8NDVW>׍S^9qg&ބT[nqdF-p+h?V{mM[N$@y胕`$т d`O/`"AF Fw˚J҇j85`"&.޼A*^gYZ7zXZִF! S]ŗXiɟyڳ&U2FHFֹ _Զ&q%и']8 o O[Lb@ݝlUj+˷ة-'+wiU=! =w ggĦ5u>_Aە).m}(0nlV93-ʅ:4Q̸Cw9y2(gh3+}۪+n47k=dqׇ1\n8gtL-}%҅NA+pNq*DuVٖsDZyh#.`=MqχiK;Ԁ@ RAñgYZ7zXZִF! 0m]ŗXi%>t}yq/pV>!@f"x. oXt>D6 >FnD8)|ךF5j_vڱR6pYb{-M6|_rSf92̦bi1{ ^VB?טw q&]l`71o+1Mb~O 2rzY6+`CoUL0c5M]ض\A09|Q7yUi| 8Mrۆh:FS{.P)ݯ^uaCef(;Gnx^#8-+Z|a_PL)ے#i) +9%2MJ=9 oqTOU]qo4&Q6)=$qxTॐA@ -w #Iʼpc7p=ED+?Y1pɺG)AՊ?8( U_tv$^eI7 NV-jYܱXI s` /z}\F|m_2XIb:yuKCd!&J+s';,ArXև wf>8sY_lXxO &d#G<rAmq،NP0aQ0צ+4 z`I!n0_ .Si,؜]!(BX "/S f⩙ ڳk'z4cm"[}.W'-f~н:߸+̌~Tp-{0A+r A 3ﳭ[+1\"]f#&|nUx Cخ @et ::c15!2';nwfK!~DOa%+ygYZ7269b76e41c12255803bdb4cdedc2f27ba701ef5c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149  Tycon