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 4Q l < ]/ CryptoBasedCompositionalProperties:threads=2elapsed=11.819cpu=19.492gc=0.692factor=1.657zXZִF! m]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R'993.8IWI ^g 4on*2·Kr[~0n-(:;6  7O&R]sM M]>w)DCߛ$^䩑99t"ssLLA5wu[Z9ɥӽ_'!@.ۛJ+q9uDY֫*G4#vfttuO0^=@oxB2 ook]+}d֓.>8VWUi8!6}:w^|i8Ng 6[ἽڬkQ/jQ斔tR5L>SICe=*=MrHQUzu\z>DŽXn?+Ęv~Wbѫe;E14QN_xB˰WhV ֱI46 1n<_!P\bƇ"Q:9mt_w*9YC*V][;{S C*JaKK{ }_aLf׼'Av"$%HY |\K:!bNAn ›ĥʲ R#g B}~( ۈ"q}R*MdR]{E~i{>4e3#f&QڄOB5TͪˉdF$zarK>KȗڊHM\5}}4@gur˸miu|ahoP]/jާm&(@e V$׾-P===Ĵ`^}5U B_:yԦh&l`Y95+RzЛա"/}ߜi-HV7IB7L=VT.f2ạ㗙U_}СF)9*IBG;tl[<xj0;fgYZ532078cf115471a375b5a0cae4b9e4054e2322a9665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee %Q CryptoBasedCompositionalProperties