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  Y Y$+ |, ]/ Verified-Prover:threads=2elapsed=9.477cpu=12.252gc=0.404factor=1.297zXZִF! a]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\vb2 eF=ۈ!}x:r}2{Ԑm*ozJ8߈GDF3I۱s7uƦ'$;ѴhzТiG6V/̒"'a&%?צ#1La+ ޷F\~ S:, q̊hQ  ?JgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAyf;>ވk֏pTF cKWX}YZ7zXZִF! >x]ŗXi%>gYKEغ‹3oJ yn gdf􈟾].*st6t'AkB>9Pmdd%+gg~j(c[ NR*=aZq19Q+lwo[! A͓QK` NM1eΤ\ٺ|>D$H*p&3]\z5TzIppzZ@s29bNqIg_N(="*sޮ:߱ 5g@j\-vln"XZR7F{҈˰AOوRKwcc#0­"x(M6bc{]#NPTVʵN;]1܅S2juR}IsE.*rK`ٸLZu~!Y3tm7Z"_Luvo^7n6hjY$PL~Uȵ BX+^{"Ċ,\{ՙ"f]CjtC~^B~ }1,6h u.?%me4N':uw#1d9gA%ky&K4j9Y Ħ:gÏ#ŎE 5 q;v,.7N\wN$r 8ӭ*MHQ⒵Xekƹux3&@݁&$o;`LH8~(SHVˮd= RL#鼌٧&=O{T:ӸtB9:[ߌx,qp8i~•<#>23 |-vgYZ110bf3d54a720935579c350bc425fde824bbf2f4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 + Verified-Prover