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 R1 t ]S]Nat-Interval-Logic:threads=2elapsed=49.053cpu=60.576gc=1.380factor=1.237zXZִF! /U]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߿wt @+i#""$Qo!j!U+0x/ȸV$ Ρ" 4d6v芓©2Ӷ}`4RS\DəPȗK!-04kHdSMB|w˩ U̍2>h%o+VQA䟀l~ṣpf.:A% :b]ŌKGܑ v{:$:ww]DtQ|v]iu|d|,u4 1 Nat-Interval-Logic  ZJ-/qix~2xq%zT\IBDcj N^Vy96HBul.I;L"n hUR.ծ-S+{H_fw2Ak eU`;r\r%>B2w ;- ʯ݋CAl^Ԗl,Zq5 w@'Of`E6.p1_1x*Ћ܎n܃U'.H ĝ:Ge^IAea?ҚsQdVc[.ǻoA䀴V#u/|"-ZrGO5ێ|6AI`0a[yDT!}\%;9?ovs:çt jc/t6^萵gYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5cT¶DUv+Bq^,_ҫ@ynm%s3 gѪP8ĭM@ӚE Pq3ҡޚOVfgYZ7zXZִF!  ]ŗXi%>g:9-TpmB-ʹzĄb!yVQ=5jP6~dS*v}a.^=iw-/ ʁܯTDbKgd)ےJGK'5(Fe%CUL  5a~嬓l\ҷY9ROɔ8"/4N^)h0W}j.ۏ`&%_:5J 2l٦5n5qtm /Kdqs[ 0; w[f)̤eF9ļ^y CUU2 n b O fRdӞ ji ̠.!x.ۢ_&[ %;μDhя;wAlUi($(N|ZtJ3oU_.wFUS (qclaU.4ϤtW Vd愹 Qlevr!4{>) +/{LUV]|L.1̒:n)‚;`!6}m '2ZsB"~TX3T-2fm<:x~` %`3u׹SPg^:WRFfyɯ_@ʓJHע'G*E*+p^T1 ŗ+){ofƺ85JI!@0[ _C[-6oM{QNT౪t}cu@4f|chVg/%'I*C C{? PQZ}D<\32Uu:Yn)⏒VLc&)/{w{xNd|}C 20XrIʦ|{'f&.Hrͫ"0?pԚi'Q;.TToT ti|o$v%u">6I0mow\f?7 @jV, b[-lh2"1&0V,I4m^q?%n*q9185gxUj<9Ulkg < FF )4xgmC Qt"nfWOKc1[ohFo Q=ffY|0^gYZ620b5c68cf25ee5167a9a6aa6b28d243c10e88ba767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 0bd9a5ebf5efcb7503d745814e092dce026f1ca13f1adec0617ba952bbed1395d1401dad4f5edea1