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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i,$\ ]S HOL-UNITY:threads=6elapsed=19.931cpu=99.808gc=5.020factor=5.017zXZ ִF ! 2] ŗXf1-q恈r|u2_QM'8əj*g?ǔ;FSC9Tc30I: Yy `"Sr?xZi 8Ŗ5`{Ƴ1 ]Έ{)SsBwG'!Ʋ>,d]C? X>"vn03c+H蝿IK@9I4+7 6y*܃I7N8WV!|<*7|D8~ymvaI8K2|wwri>mOGQh/JR͞5cv%#e_ veKojZ#12a|~7 !qg2B!/g9B"Շ HOL-UNITY 7qJ=]}KjkB&ElWJsH_IH~ lRU眥jxv{%ui)N2i:8˓f/}uP |25*]_qcJD+~F0*$?mutvFPK0?W^()e8(TETu!=B-ym2Z۹sUD@^Ҟ0l}4 yJ.RN 5UYRQz,:FS (3{GZ\CIto|#soO^QPfL=Y`6"@jIHȬM "&keQP(inn*y +&Z~jNA,SĊ{+gۗtpCad \>)D-ǎYK|#A@^~ќpH-> Biב JA39pA'Mq[܇tL(\Y=b,Y+sm"}UWJjTu/l v B∻%J^V)u,,'{Q#9c|rȤ1E8VJEed]vH$R+"^E}iendqA_x/.]vۣ(WynAY)p2SMhNлj &) ځ@;,zX7[fSgvmɫ9Y\-⫍C29LZ +ly66-^i`QiCa@)6Q ʇ~)-o4->neb-4its wzү2hF$_zַPט6S "^pV=Yar ]S?(oS!+sH mRa<%l"]JP/. {9-i-GsbB^vlWɺ/ү#zJ8&~&