SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 B7 T| ]/ Abstract-Hoare-Logics:threads=4elapsed=7.020cpu=25.452gc=1.164factor=3.637zXZִF! f]ŗXf[&*%5_]d r{ SV}Lj9V&}'Gi.t?#wj jgڎĕlX1gJ=i 4%kIWbDJ)s/Ym-}3- njݍ$nA' GҌFI4^T@(7iSh9Z)7^?#uDi gYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hX^6/j@#mࣃ ⠘7ʌkX1F]֩@x؞I,WAH@M94V>7f6,52yDnmr"UG=EsM>JkuT]$JKNQ;ie/vJ]s*]оVXWDYpgYZ7zXZִF! @]ŗXi%ES3lߤc+e]"I#;L5 Cznn.aR/'Y ^]z'քI2i">; ¯)pݕ_ZO.*<:L*ቺ u_Lžr;|lTǛ=I& T *p"ak^[ר ۮ Ҭt}}0( bFJӪx- BFC^\}=,#oyBBԢAn.%sM15i3 jTg[ڠ;7+Dd?aJ!P5֦>C1.>xQW GL/]foԋ*[bZh T_@b%96OM#G%dָ{Ǹ;IMԫSbF֩L YAME 26iߓҘs} *kҙu57h |-Ը#{U[ ~/óT XBugk24NnO]HN]a_\PN/&X4Ԉ-62sDF&]kQ#>,UQk4.䁯0힞LP|esѐDWi~vYmq)IG!:7 !Qn) < :»?1Y!ДZBF#l$cfͤ mHւ+Nx3O=<&lMЪ|XuauZh+6?!Q0&7y:BQ /j#gHuSPnk[ì>{lP*gw>]jvSM67N/M-:+7 O " GyOd:2 U( I ~!gW2]%rA)2%aXu