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 66G= 4Tt ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.130cpu=27.132gc=1.388factor=3.347zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL9rL{#M:n αH` b5^mɾX]j$6@l޲4c40kv? `7\cq)2+Y^W%k҆sCY]8$ WSm:9!F7]%Xj wR(GYz4C,OXROOO B/n*MT<_ŐPwT3U`Nwz,3zI~|>ThZo?ùۋjACA qv^-98CF?Z_in)d'Ӏraguhl} j @SF; F3Fsié'o6zZNwk,$tO,CEL$iw& KgYZ7zXZִF! (]ŗXi%@`g N_l=d bhLu!iKˉTS#$UJ_5yTtW( on N* sp?e0o )MJg+A(.k&*&aa`7J7rqA=s7֯=OZjxHN :k&^,PPP 3ϧ#bgjcBiW'1շkqJ1b䣇fiiy i }-R_~b>;(rEU]\ ,<;pTrK_-W ͓|b#-3@ùk~:ME hkY@J" 5`XW HţE^ T1J`w1܊w1Ώ7c9˶@TI$$$x.^Y/$D٘$5ӊBRhă1 ).|;X*oZ:H<p ,=* ^llc8zTtPù#g12|4ez3caŽkz2^t P/ܝ˷ٹ{RLGzZ lx¤p ߫{ 'NϜfGϹgej MxlKmN`F8Q#u.T