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  7 d$L ] HOL-Word-SMT_Examples:threads=6elapsed=56.414cpu=80.792gc=0.780factor=1.437zXZִF! j]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ1Z%+kT,[T!KB =S ni7da i,%i8a׏Pb@N[Un0> '4J :TF _pJdT 7 HOL-Word-SMT_Examples  H_`o* y\:zN8Vqx,F6&a1$!E#HpKgYZ7zXZִF! ?o ]ŗXi%+*̦f\ HYnU#Yk>0ǯ(,5% طP#Hi?ѵRLp%gJ6>h IRXedY"6M A֟* sq~SRꇀINGwC>J_֎q+!tu}ك}Ud/Iq 'ѡ#,=;R$dLDFeWf02&&tp~l*7_7w:+iT5/3r?YXOy\ђO<3@eNj@/IQrfƂR??t yZc> p($ihf}Jjˇo[ث4bek\D ƔL/U$9Iw.-He3T((*td< /d,e;֙e{rMž=YvӢYAC~I<&?HLimK٦`fbP[c b켷8\#9Tqf}p9T:YlP*q#B/g;̟b ^$i,LsJCԹ3L"^tvBOŠpҶl/[jPP2}n\`Yn~>K)ʷ:zZtQ+ 9*3)R7$&Q)em߳´(݅RPVqx-cjRw_f,F~T+X\Toc\TKh:y_?GWMbUVPxfKP,=3B:YJC/aC@9MjQуdS|6 n;DI\2Xs&Ǻ"Y$?D%TRLEЛf<[5i)7,T9%z}+N; [Ҭ.nɼ>D-,Hv}te ef{68*633BJ) Cq('3뼗9{~$3eb2򟄬VK XIZ<ӭkb_U|i~1f6m@ϯa0فꆟoX'ޯ v@^)x#-n)`=z^YM u@Yj25 ` Zea^V&f@/ũ݊7k!>4 # y7Śhq$uF{UZ.wq11!2Yj w5~tnW(_L',j'X<21+eBVi|7yQ#ٕK\QZ ÛP}w!A1kZH)whe&>5[5QTW{i|9ϴa= ]4䰭Zu[1ϷDE{pSQ&}lK"-ۈ}xc6%^(]2 h'ZѢMVBV _5EҴ8,ɑ ٥ƿv1QWvuoGOR8"0G$ _"~w(K;Al^H@nncc)uaɰu׈(k}5+x_0xs׃ ) :7i kYփRbx "W89F̄7"iikgR`v.0f).m~2Fv'| T4`L b+ NFen8+MAU(mE{4ՋR%y,$kDbwC9 $b\_퍪-^h8Jf%7슏"f?#27ץގhWRfWu=_fQ U4`/ ZطXBIS3:x<K2!~4 cMke%nQ}c !҂Aʕ`Pi@CĆx>`ue t_5;YQiBP,Dw sߔ ix4 vf)5;z͇>l 1냏y8AM;_uƖfEx)+6bAc#*;,[fxnzM]3ZE{dΛ3RXxb;1p l>io6ze1{![8^heˌ`xTpW'V6t3oto1b搧NL4p$XܖةHUuƇ ^?6ށ'd ٰ&Qxeù:1f@kM @։ G:2s} )A{zي_7~E-DhuYHY ɕqJ%EfLٞ[v@o]^ F;]M3 /Ae#_x#,6ͅ"ڣrmY;p3 %"2Rbr$}gTi;8K2:X