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 I# < $ ]]HOL-Nominal:threads=6elapsed=6.654cpu=15.144gc=1.000factor=2.287zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i PYPmF  9KJ-+H۔ky0B$@u!?;s"lRh`52LȆijkr ޏډUii7z%]a(=x)'TvoC-$\]mtK=eFj1goWv:"96rhd PgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ J[u bzu?G~QMh,.L=Fn _I }YZ7zXZִF! & ]ŗXi%Ed}ghD%i` )a Uob:v0KB#ljtht Ǭ]X9 ,!+*C6veؒ'm*$l$6h`?19{Ca0kݽ4ܰMC"vL"ٞd r\[ٿZ]Rѫp`$%Mhu>D@q@)FVPWT.eYz gd@OydrzEu{W%fVf!"lnTQf uI=TS}fPʬmEbAП}r7љe ^\rZKmG[G@m_AAewYթKa;7=Tݓ-g,%7DU*Z.OWN?VRă!Lr1e!3udG,1⾹G+g#TCO9EմJ[`vQw3Љ8,ҥ {ߣ^^Q+4-X{`Cvzp9#ܩ钴!t+9L%'=I\/SVæhxHtMoʱgYZ203cdd26b3806e3d0840ae60937af414941b073b95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97 811832a6b2c59f06298f225b4af9a73f6d01f3c4f9ff42be961bfa8eec92a889752e28705626a921 # HOL-Nominal