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   dT ] HyperCTL:threads=4elapsed=9.124cpu=31.184gc=1.452factor=3.427zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uVgjH )t4TCO|QQɶnbRi(W}}1c=e&G~.p %N"NBY+K8H9lr3xbF%(v*&H}Y"41]% pA=HMFh'fBc\Ƣ%/&cE9,'a],Օo( <^0\jِ.yaO9)<f?,M +W x>Jݖ5bT"Wi{E'!8slkfН^ yl1W 1+ѾP:&czCʚ:»JjTˠmr<N cv?bLJZeAeR5gabyegYZ7zXZִF! ]ŗXiɟF@Am|{'h1Db$ e̫)u Ú!6V4]U(>밇Xu2ࣝێquSljڲ³O:@7S˗XIjA.rhd/7[nա>k31O>4JAr(% GkѶkn_kj/`nR_cL' ؀l^'x P0Z6wz\Υ F81m;INvؿ`$.hBxg͊G#A|/R$32υasM`a =+63ҫAL%l;VEr(=0Ee G:WuPJYbk~,Z1O(/;VBe$_C~S(hہ\BTOCFs (vc%*乨#̵)˪Ҹ1g(AU8?ý+ 5hOM6 ^ á+ǺZW)"v5;9s[7Sԫ>9vo#0mwP C jC"<{r{?ޭzՅ1NP:sXk-jn*60:ZXJ+  &Y&ǘDg}@rh"^z}+/u9_e(3ӚopVelȁYeΒ YV`.H\.ӡLh~]h3.Ts']}.! y_#\5-.Bɢ *k$CiA$WB` Q?R^xou", qނx̓踷u\Rw͑ʴ_\6jbtϾڍL2bef%6J8t^$)s|@cHb Zi-HWN&/}=i< /0dڮK x%>U1!m}c^Zf&r=}D)|duA PTբoVIE,l?O^dZ,*'8 IN"rحx)gKJ4ЖU7bՀC4m=^: !83KH#*q͇* rT0SUr"9A 1%w^rH5D+u&   NrgYZfc5527b2f3700aea5952e84f439437f0b09f93c0d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a   HyperCTL