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 7 |L$ ]/ Abstract-Hoare-Logics:threads=4elapsed=6.775cpu=24.608gc=1.268factor=3.637zXZִF! z]ŗXf[&*%5_]d r{ SV}Lj9V&}'GLyQfpe{|GSpE밁0."n-ӂ: X^;VjTcjZJqsQzY%uj 36 T&IK {(Wo-'`c=Nx/1',h#_fءcBPolb%:G68-/4'9($vncŭab,z (13}/i[7ge*wAQI׀k:;V YR0U^& 4GMgYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hd! QMo!̕z!¿ɛvJadY4tC# әbƢ9? CݞhE 1I)\솫Nzߝ̫i_lt-DJO@ m.8[*f|Ԧhf]7z+ 1ɣn}m0z}@gYZ7zXZִF! 5]ŗXi%B4/)&WiL>r_zch k KySr+Wp-DbFxi۸n0Ii;M$lIګP8M;H-#3P3 -RLCŐ:i>&0=+Gco( hAI7`a'nW;>S5UbG#ŏ!4|xX(l2OIC"֩4bV"!En{*xb[XqOLSdUg-Q^*ċHxva r$L_L4EFOӾf%0{*z),ck{ާ;o(G$3#$^E L)U6G :T2;[_Ǝ\1{8M 4,.eEv#L!Ecڈz>&tEI0{&LQojPD(,&ukbt.`KJoΫ$O_g2>յ-h]!^1wYU+5Yyو~|<b/Ȝ+lJ w:k-i`H$@j/Fj`:7a#Ы-6:;{հ1$F1 qQr{$ۖr*m>ڮꜭ @@߇GƇB=Ww?0k|