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 5 ,< ]/ LambdaMu:threads=4elapsed=6.813cpu=13.792gc=0.248factor=2.027zXZִF! <]ŗXf[& n@j#>i#V2vG;thc^D8Qxt4[g0ӏ߾ a$s`JsT |F3w5=˪7瓽EH&Z?~$1Q Ft~.Q*p۱u|i |n_h,T96Pw?ewH%턞𔜤4qiQ!dŐ)g{qڐΎE,TP"^0NL:= uGYwTx>4dc@ߚ gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$TzdElhJ7T܉'gXNl|1L 9}ðXFOBh,/ ={хM w j2[hˠ07ɇQ  ^ۂKqYO``.@mekqbi<a+%`V3Y*:DUEmpgk̩~Σ?NZ[9O0>_3y*kt|I_~8/Af}jHV0z/ri6md+8vbE8̓.e̐쑾|apWGۜ). "cEY6>fiS[ )͸^+%jz$)ۅD{z%˧idIy7܂ժ*xsx$;N*t]ĜO˺xHBVE{ Pc)db.b[O|$o?Xc&=4Ifz?P6̪wXQd}$ &` y-<ķGY]RѸFdis"V3Vy7{)wqn8'嬂A2;NԞH|0>~^HGlLΗZbit4:lM-%v[z{P5frCB+v.ҜM pA#&PZ>-$Ĉ`"8Em{ybA>Q6W9 '93vJ[Gy )vϷ sgYZ2c784aa9956fff1f1a55ce81a14a693e082f4d6b76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   LambdaMu