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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  e/D\ ]/ LatticeProperties:threads=4elapsed=3.252cpu=7.132gc=0.248factor=2.197zXZִF! c]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok|ɭX9H;n%!YmE~s tggV* OYNrݮ?b 1N ݺ.MfZBRyq K!' (ZKm5 Yl6fkaJXWeS+%??};-`AӊAD5]mdJ( k"=-W @k+] l$!gYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg z ܆^eröuK /υ#rۦC8Yó.e3tא7_&% cV;};9%@"ܔ끶aסlhs0Hϟ[.r Fp絈Wa$ ɞׄ~gYZ7zXZִF! #]ŗXi%I o9qF!%$% #Kv m=zv,Nh59čw ;$TehRl?htW!vu~,[UdHhxw׆e\-+6aVH6ɖ >_:@„^L #V9*/j 1 >3!@k_մCiBs-Mmr5i'{lV-̞S }D;?mȝD6"p&,7^|饻FHJcb&GBcKX凐Nž DjvԧW!K~;?Hz/w)LS RyNE|VȪ\3RSXL_;kA jXӤA>6^Q iH%GcPs5&1i-){,lbP; c «\Rq?lcwX4ۏ$zaOVXՅhhH&I |DI IM{SA3 WfÄxOV7)>lFW_ !#?qhCԍvGKrcMaf+\q t>{Nc"ǣ3sTKAw>V׬j}[kjg;jlGn gYZ7bb45e38ab0bdb784c7f1d465fe1cc9f493363c65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 / LatticeProperties