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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info / / F$4 ]S HOL-UNITY:threads=6elapsed=20.889cpu=108.464gc=4.372factor=5.197zXZ ִF ! 8bL] ŗXf1-q恈r|u2_QM'8əj*g?ǔ;FSC9Tc30I: Yy [ݳ5r5Q+,/' FI 2֍<8_;MS= vx2-foxaOލaI!@[9mw,Jq*ߤr"RwlyRHq?}_[- g6,7 q3Pe -9#RZr{L=яe1q]ۦRe))80=0IϞ.w!?}B8VXqwVO `}]b*EsM l=݄5{kai^9S^B҃v9; m睥YUmKǯYVfT#Qv?J|v>ӧC0X[#)}OGGilu[[` |;"KKO@2wWPw͛h?k)h)iaāl7/R>Wpdg~_(?9smF>7%+@qS'GB|8(t?@fF *CXlpaxzb y4-$FfN"\3܌ >9VaqYDW,;qF'vF1-\* TL9"bR;Ap<,8!C-av Ps]@mŏ@o)DkxhN HOL-UNITY 2Gk ]ƍ-.Mٳ`w_FX%kQG`]쓥yfݻy1͋"mz^1yv^IqF yiѮyVNyj<Ljz Gyh̏Y75