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 ;3 <d ]S Decreasing-Diagrams:threads=4elapsed=14.175cpu=43.892gc=1.012factor=3.107zXZִF! ]ŗXf[&}M~f\OjjF%-[ߕ{T8 z= xMS2RCY+͛^,[ݷ9APP0qY'**_pu]8WB]x'hclCrE|aԹ!`Q<[! CT(No>[|Z]A|gB'00OzPCFL+i=2CoZƃCJ<(rxxºBtM[nԥf~شNZ@w*3a5P P#+'q IؿQu{ S5"ꖍ4L% LCE LZ{n07]ہZ"BQ^huص/qoֻ}ُ:#[2%̈́z_6(NTLNyyҠZ5Bt|_M}#ٱa0Dm)WK`yHfsї`!F ="bJyP܏-s@F0|M '1M #73C4LnKdx؈Ryh4V2 @(5$g F =Mhmbnf}[PJC*f7uuYL$v#%;MnEcdzcA33eSE&$ >/NZ$V遳ʄ-/3\~ /rJB%yaɭLVOĘ[ҁ[Mk=; P9m$P М`'> +_Z?A!* K;S*`ABnTCy%oqa[p ~rPaZ1#"Ƞ7;Xͱc>}ޖC܉ˏ/HuupǶc[Cp ƈdßND L$m"!yDԗ 1! Lؙm!ө cW.KX1