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 Z' l, ]/ Case_Labeling:threads=4elapsed=3.384cpu=10.680gc=0.252factor=3.167zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S|/~FcmѬ/&|q* eHܰU˔88{F܂k y^>Yl_-I{&JH+şY_M||38*s`ؗGq"DFp~Rmw{fRxH%*9/aZ2e_<}^ҡvل.5w.Bρ.S{;N$OlEhXȜnbäw~4MԓaeM6/`cY\-}]S?WiPA3Aw 7~g3qm> I߁gYZ7zXZִF! ]ŗXiɟ1S:Jg~(dSH{OPvl,ZnL3ݶ/ÕBbwVzm"*na.jL\ utakIg=k.k'WO ^ǪU^j:h aQ]:I,C SxZCT* a ʳ-nܫRsm|?M_UDetcC#rPV#ݑ uHAi'gYZ7zXZִF! $ O]ŗXi%GVqtf~@u2EF%*H"WFCiPJ(OPG`U~|ڸ== &Ym% D.FNIm"g#:tAߍ Sl6LUދ mҾ=2BgA]pD}z9IhA?_.'X)١h$"1]ʐW7ԖJ͋E%)O`@=g,)A| .o|eʓo"7M,7@RchL.h2ey} 8M Q;:mx\m\A'hCXvGG/ ʿs y<7Uvmw5!߂S􁴍eS :n0V*T#l(^s׸Ak ]23q# Ua&^#HΓ$>30_Cj0ׄ* V2X)'+lQdJ5wo5 "I0HdBh[W8=#&/{`d.;(FHRPuC # =)XtH@̱gYZeccd10b0e1936c668d5ca732ff3c60c305044a184b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 ' Case_Labeling