SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ] Trie:threads=2elapsed=23.117cpu=25.304gc=1.276factor=1.097zXZִF! {]ŗXf1-/6vR[ltǧT3(O7?MVWURR kkJZ]R yg+1%wO`&لI[- ʺˮ; 0A{QA"h ^`FZkoڲ V [h#+Vy@K@Px-W39gYZ7zXZִF! |L]ŗXiɟl٢ :}*]gpq_=G61(01z,'#W )gh}Y}YZ7zXZִF! zc]ŗXi%>gu_r缏 å nLQWUG xʛSjeߍj$LwGUf71YY˧aϨ82>r,+2(b Vq&3ܭf)  1RtӁQّ -z0̰?fлI;Wp5h:п\.'9oI0RsAWTol&ĉ@>uXNGİz!܄̼'k֩a2+sH!)U,YZb$.)Tܑ.{Z(ō:ʈґĿԀ4< VenKk޺+6͸˾iDh3bԁW<5/r~JZְd'P!,) f?ŹmC$H1Qb&o[Βq7ݸωY~mDO~9̱zl?1@'fpTQSkS`qnmPq] 5ZStcIͶi Dnk.E?_Co;('K&gMD&-D5pe״8*G(PkI@xds}lR%]&te 0Qbd1z1Ǩ_[~RѪ{ &E2xVJ*'It?^Rٻc}l{P95D#1ⲙ209IZzy9Sf=kxWe|6f^^7i[W[#e!IL&|b$2q p(W Zo޾}{r,k'}bg |IRvHvu)(`kk>-GLNP"{M*.|z'1ߢ `)8ʍX0{J`WuDHTU1'Cgg.Z#†ٱYs]F})Q;I.8_`07|Əj6oipR49,N#5f9%47qzXw-Vz"w/l"34?klMN'~Is>O GZQP鍊38F6Y٦Bmb]M!icI E7D]2\um5F=ž@k "Jq%HÈ7#֡981~fyɣA)sY2v׆dabǚiX`JdfOE.2&mu k@\%|m| {dWgYZd1275c7a01296de6a195cd5d50b93b8c9ae48c6897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9  Trie