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 55HQ L  ]/ CryptoBasedCompositionalProperties:threads=4elapsed=11.140cpu=23.880gc=0.680factor=2.147zXZִF! ]ŗXf[&BPXߟMwS^iUf$%~1*k`H G , ݞ?fCtEP&CΏu-Fv:ɮ-CJY{/2_Fc__H(DV/ _ޅBpr?Gehl7H)F{ ʉ-zISpF*uRi;ųDy^*hTL=vSG5.Tr^XM]:s$30Mb(2ܷ;f]pkjIdl{vgYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )3N5u\n-/UhkoÏZjYTPGY/q [X4u3y+dqڻNLsb,€~BYFxJIa+%vA|&}8F:gYZ7zXZִF! R]ŗXi%L x?&mͨ-l4P`pVW.‘}OP\K IYDic>]/oϊ~o& N@rKtJxoBWZp۴"f% B~ _\k ^M9͔#M};ɤ6sXHhT:v[PLdMnjgz%jEZFt+e6EC:لZ~P +4L-=KR{K|EYjtѤQAOho+{~i?^@PV ⲸVyY ^cX?1stfaPV$j,mxL c\"'}ATі$_.YE (zƬVnv%bQ1pTOpG|')#Z!!OPʦ pZx@ie`T=e Lln.74'}̓ObÈ}iQ,AsǛ"+Zi冚Vy>#%F& g8a&u[\bEʴUqcA:TJ0ՎjUt)d6R>i9#8i$B?3=$ajOAĆ9yZbNa@k c";#4IS˪]V|ߣ_/2;hncȒ hs( XDk+jI e] & ۨo,fBRZ4E}3* %(V:r pȯL~sQ!1ɕǢ+TUvϵh=kc@@{%__;u_08 8|v?(\wR/<J9