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 }3 ,\ ] Selection_Heap_Sort:threads=4elapsed=7.169cpu=21.132gc=0.580factor=2.957zXZִF! ]ŗXf[&Qz꣸J֯g, sgZgťW^>RG  =1u= !'ތj/,r8ЀX>&ngKߟ8EjV_ŚuTU(iuhu1Ai=M`H;pHƑL 'iD`_bF3p=w3,g!)~Rrڌc@Q;$uM/5Ng} ;( ij<~l`;ҢEEX"'Y1Ǿt`BPLk8_i}>IU^ Y)}F ajFXas_ą)dHS1ݎ~%+J mRbݟSZ$YJs\(|u>˟,ikQ9Dp14 ,anG@[!_H!cgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#맠z(TsF9#N)aoD…VX~Z$X/^K*z@9N&kݮ W'!HԬ:oVuӆd$ kύ-qoXmj0m'gYZ7zXZִF! 2o]ŗXi%B4/j zyɅoFf)ȜW~ gpkuct0-2j,DNδJAZ &p0˓ӡ_P{m, (U=Kfޙ]wg7)~1Biv3c:6Wjh߂yݮNni-;:o0>@yEѦ8ǃjTGc`;S `6HE *R~vΫ)Dk 5ve4t<N-QBw()G,g \ Dm{[U'΂͗b!Uʑp`#FfD`@؛&"k?\QB$&Fzt+j+NF۵zqwVwT\ 1ٿiߎk_"$ÿ5A -@:^i FhKu~`/ P?zH;b5+d$؎:@ 'Ѽ( _Lĝ{D/!o?!hX8ea0'0x쬊J1gyZ.cwsu {t@hxNWEqLcL3 ]ADabkuaqxU~K]-(ROSB:N?aA2q؁.t*X*LSp