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  33L ]/ Partial_Function_MR:threads=2elapsed=5.893cpu=8.348gc=0.312factor=1.427zXZִF! ]ŗXf1-/6vR[2\> YC.^u?OA~hO]>MR@^3ɲH1^樯)yDmDF8{]_l!klئ\?0ȃ϶"/`w0!)QLY@3O rAw!]ըΤ>T<̈͡\_4퀞9zOgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLc^@ ޲ds>LpSFh<Qa4c|+/՚jX\ʭ-3 3-  KAκ(\]ʔDt+ B5FgYZ7zXZִF! -O;]ŗXi%>gpo.6UjZz t,pohѼC-KxJ cNPvyw(-#4}S lJ8N<q}w\U}֎vOk$ %sHeop]ZUYq ,ϔ񔯇͊hJ<,G_V1~:` Fj8)#5ݺPkru*#W2|ŞLUeAV ~ORNu?T.4"3fu负]NSY+9uܧ}å& h8m }ʿ{["'9_^E 0e'[? >f*/h@u91{ש<{CJ0IA4}Nkdc^O$Nܦ X714.hdt%b[ 1x <we BK*Vl3bjIZ&!PP6(0JQ>\ދm?dܣ 5n+$W ԱSqˑᛕSme8 . s1{`kӺc댉Ïׁ\|zJ#{3vsiVk=^Bl_k#~bEBLhEH]ZQgYZaa42b0ef8cf258ed2ac8b4f0f35ae444e91b13a397833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 3 Partial_Function_MR