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  / t ]/ LatticeProperties:threads=4elapsed=3.031cpu=6.404gc=0.272factor=2.117zXZִF! ]ŗXf[& nv$g@zqGQ *KPhd ,oQ =f'1` ŵ%J-4`d0 86; ]f=-)q+RNrK'Fyw4&><\E)G)Yk+LL teT,WCzzq ''8zEO$BygYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTgb?LgH:G=?0h1Nl2I0 fxNAM1> rSo97E?'f\yPȵ>ä=9? nlpCFo9!ՓqvYE$O'o%˨[ gYZ7zXZִF! #]ŗXi%Bo,bBS- Y:~*E6| 8# hbhu3W)QBt yE9o ߸*=kmoJy0x; F]&aVg޹n3wqc| 'wvQ7OM/I (p~DB~c7_]ЯZWԇBEaR[M4?xig{B`s( Bfa84]\(H|qD ab')+Y)礰{iJ3hs2 [V-~+ϤR9K92'Fcnޜz )]tbK5n:Υq+s~(<=4|0?i+A#CKgXjaި DxoYܳ~&Mu? |d${X Uf )ǓGN hʡa$smc&h[CJl`;揹Wz "C4^/eg]``xv5A0c}RS^gG=* {wM2IjAfg1qhs2r#eXؑ*:0PWOdXAG%XgYZ1f26fd94bc9eedc20928ccafdffe2cd3a236770addbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 / LatticeProperties