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 mm) d ]/ BNF_Operations:threads=2elapsed=19.297cpu=37.584gc=7.980factor=1.957zXZִF! U]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hqge5?>4jxu|HrHTKa ?HlZ8nC$M[$I_?ËRk:r l~l4OJ5XvdNA}bAV־җ6p,3u3. ^s|2m@IR$͕G VH[@Jpy) yuc'"đjm4KMphZe)d\X)|S`; ƺ dxy݁y+hJf&lEb`iV Fv<=d++_6 ~/"$y^.I&Nt?rHgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~m|cֈfٕk +L gin{< jiQ jrgwᚃ@?:nrõ 8BϚJ]©:E`ԡGzjΣ!NdY?ܪ&`~Sfޜ˜h"0\ʡHbW^BcՐgYZ7zXZִF! h#D]ŗXi%;+*wET>-_?$)Pʹ}Y{\ kK#QTSb;Nbуquw/RxN:YȦDNP~7W>XJ֞kRQjŖ# ) ƭc-( r 1H[XmKmP TMƺ2ŧ)#FSmpl"VUk5BxͿNt>rx%m{Fհx |9@b1\/'̷S{Q*gEXa5C Zym6tFUla e"ώޠN\Xo;{7DC$QQx"-D0b[B<1{#ZK^{Ku0D:jD7HY 8mz}{Դ?1T҈BEYuמV0]/L+˴Oϰ&g,|γ/sQΎҎ-qE1S3t9s TrIx>!J/& <=)wɪd ACDB B8W{ W\PUwG@#=b +ꙖP#NPҗgۗ,(`0^d*x70O,#.F[ŰPD8P~h>n0}rmSbVWX&cѼwoifSΈsPs!XrF< ,&<3 aA ?}RОeq.͕U3—^ڄHi{:֩,x^[aM0[Yl4Td ;vWw\?GҁxRe.z)_h6醔ԅwv}D݆pע&?q7==1ӚϗiH*j995piD#}2 }zFgYZ641d83c91ff48d5fe7d92ce47ad303e6b7d162f4d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad ) BNF_Operations