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 <<A3 d ] Selection_Heap_Sort:threads=8elapsed=5.364cpu=23.442gc=0.924factor=4.377zXZִF! b]ŗXf[&Qz꣸J֯g, sgZgťW^>RG  =1u= !'ތj/,r8%2৛V;$+"_ jUe`$?> ̜ Z &]'-=R~>lsCSQ}uXGQӛ!7e{ s9ґ/? ЕDub$ΦbM#8XdyUfd7.6 GeLr7"'8Aljw -JhsO3ʭ_{t%B[# A8VyiRqGCDWKfzϖiaAa1:12>! 0Od#TXpLΗbD :\풾q\"`TvxP@' vrgYZ7zXZִF! +]ŗXi%>t}_-z֦7PbƷ/=Bφ-,<6ʛo(ī]F `ml$_񿶱>fr(/`1ˋD7;#A6 (%baѤR:k\m KAicceI_kkow6y׈Y+@?DZOw[h /s3YYvBs쀮>UL4'=l]cWr^>F-պ;M%1f$&|@ pj%:2qT/݀D~y=&c=oȘlh5zlc? ,&'(XxˎrMve8M{ z45} TO#`~M=\٪#bnZ["1/D'ŢP%[5GN$MwVx]:5sۧ+He-F>70:ue Xwa[+{}7.OcxԼ!"m~ ]?:Ah7g*rJSGmK1fmŹogD„Ej4'+PA ZK@> ݚ*[RҠV ̭`z\X%Tի[#u5+,Z?* iG'r`2dA a)1`{ڴ1 g|yަ. Oh6(ir9OEH35S)UN)7GQ& tlDN˩oy X‹Uc+kΎTQ@p%V 6~9yr6bJozqAOQxFW