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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info cc+ $$< ]]Sqrt_Babylonian:threads=4elapsed=12.219cpu=31.156gc=0.604factor=2.557zXZִF! < ]ŗXf[&RA=# RA8 ~m>.iwzSp da שcUF~n;3W缩xA)6x[GL !Nv<Dș(ګW ;!@Zur aCi9cI1~@F uH֒iǠEQD"]r] .> ~jUmm~z^ z_gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(W2P(c܇ rgYViO;?ݫB/`g> ŕ_,LfKe2k{q;iSҜgTo<9b~N<.gYZ7zXZִF! []ŗXi%GgHf9s-#OYV2"!Z>jšEJ+֛ӋLRQs ӎlLH} `!pidxSfm[ݎsR8Eo$ R7Ƿ]krsmu6+*Bd J#H% #HVo sKq{T03Xe+\`:d<^ǡI o{Zg4r=4gZK)O8G'y ˈQ0 @a%DT4_?@>+&ap#p9j{ßM.)B\/~ _1"?IUn ժF!ޭ1{GB<ݏ.jFX->"Q =A _K0!til:nJYkX\|I;[dAsӯE?qpUH!_WdpwswOB;QRR  m{ϼ~p(U4D܁gSQ~ bj1A)נw%źXө