SQLite format 3@ .;  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 J3pLL ]/ Partial_Function_MR:threads=4elapsed=5.970cpu=8.916gc=0.3727zXZִF! {]ŗXiɟH)0%oqs1W.ۍfy >WwPzZ8.Ǎt!hۃEb{&VԞZ^9kp)`OIڦrN@Qp{^kXN K%=-V 0\?x6̳ā3{koҙ-^,y0gW7Hk (ѹ(j &Auwg\ůBO)!'\MTJ;o[bCG  MآRGYBzթO?r\lUԊ}ẵ4R6`P@Ѷ/_]u95) R6љZLX.PϠwgdK g ŋy-&&l< <" Vj|f,8XdK"<~7NGBiғ/]5!Kuj"LJDD ~nqKjyO  ~ oժI4Ώ,E ?^@#._=`1G焖nHY%Od[uܓV[;),n˙,.\w4_ʱgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLsr `WC~9D&u熋eyB]pxr~-nZqGsh~:=R׹sUF=ȘbLӋljϨ&F[gYZ7zXZִF! -_]ŗXi%L&eRi4 [3+,K.iZo jz&䜉nX+pj{jӲ޴z4 k>֑|J m<@lfǩǍ/k{MGd\sq?wDOŇ)8LK-giqN>z7+y7#Ct E?X|N͙"6(=٣8^F&H"C\ז++ dF?0cBLX$V4Mn6 Ha h\gp$$Qi7e uu?r2ώM5(?4_ EHn}aHx/ƒ G:M!q8[p++oyH,Wo$&nZ0 trJoI nӏz n}ȩm Vpv!w݁)z{x9ծ 5eL G)%#.]}NdUtJg݄,.#_xSU(DOjBze"r'YH(q^lbqkJjDa?NozKT|(lcpqmXbfʊ'{