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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )T ]]Refine_Monadic:threads=4elapsed=64.050cpu=190.772gc=13.400factor=2.987zXZ ִF ! c =] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &Xj_=ŏcv77O6CrGӠ2k59gqQ)l,8۞XvLbv%sgvkNYX~͔U }jؤΧw h >fO<@זa41SY\Ǧ˝[V8=*iU2N1['wu.j&oめ`ߧK |)F("m5l[d`{yBB+o8`/_8dIv%Iinhud{'lF9* ׇ5aD*ڨg\jw ؊_<sw^.젡^,qێo>/5n~<$hϑόA9d#ݡ5 K@d5 !JUh6LUoDYRCo_ğk`\X`]QܛS$!yx37K@3]j7VE@uhu@θ48zj<+0Ctwn*_ Dpa[fWwYa6X,aishɭo+\ݙT_]c6ʱ`bt:)]PS[;(H $O~Iu Z,wi` #Cs~2 ]$ՊU( BHlDʀ ƽMn,hwSk{2^HJS_ y8}A*xJDU<-S6G̛)1BWxIcٌ h fx!KQJãˏ*IO5q)NW% 3>їO<"r`-FusFvp[lu,9f ȶjovI4WAݤi|'`!'z{Yyf*M^\ಯ[W{bpmclHuKv2/UpmFfRp_[Jn%*e=b[qi*-튓XU̓.bc8yߖOP_[݆ZPiKA@n'v ) Refine_Monadic :B]zp]|Ѥ3)\
d3tӞ
\jwlp)*a>6&\H#.ң1 XFy;̡oߺa /V,;\㱠*!
)캛*^ئ>4XkT`7