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  @)T t ]S Mason_Stothers:threads=2elapsed=3.008cpu=4.796gc=0.092factor=1.597zXZִF! &]ŗXf1-/6vR[L]Kˢ!LdBsL +-Vs\Dwd]'>fR]!Os pRy%D4qX 7c",؍JG+"W*G(߈~i 羞@ ݴ0 r[U{1`RT}YZ7zXZִF!  s]ŗXi%>g?{43~XB#PTjk8eb~,۸տuYW"4qK?ojy K.yBW׻BVI0,gnrxP {kfU(^^-;=TTE+Uk$PFG31H|1OnṯP:ұw*j_oBm3+ (oaGp$ER,_E?-{eI/֦;.\ZT"?LxmH"M7-Ƙ+wY_HCze&mΌ$?&E_||躱,OD1Ƽ V Ek9S^$ {Kn.b>Y->lN*o,ls+ښٻ~2]q&>/? *bgI86T !ԇc8tր|Ìw+XلS6Ǹv5-|nԩJ;)$zc>[ձgYZ18a5b0c25806f2ca9527cca8ef96d0197ada06eb767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f ) Mason_Stothers