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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d d '\t$ ]S UpDown_Scheme:threads=2elapsed=50.724cpu=97.096gc=4.080factor=1.917zXZ ִF ! @f] ŗXf1-q恉<]d %S TzA=0e"oz*0.뀷l4A#<g?mpzDL :t5/teUwObXE0dqK㡹RGQ'OR V3O/2nĿ5]y%<ʉpAB}Sb3EԙdfċBeڞ$Bd'A@Il-*?NˢMd ~ev#\њeLhhq>&yCCRF簉kD42eeR)e'`XI'hUz~֠ck-/55#kg6;AM$ 4zat'u|1)Ra% XF`ڏ`̮%U%.a_ FO ʶ]";X s;ʙ鵻C3,)]ܦ|D$bGLf_q<ɪ cQqL0Z4ңT]5Qժ '#+OQ!~<eOf!)=?MƠX/Sd TGsn`jbe/+([Ld]e:nPzzG &t^1p#!#2w;C'~ĐLKk(g[1$K9dxEg2=1gh"rW\XN%q; ld/,Bvm=RMˌ|h>f`?jgЙP)pn7lxuy-4AD/M?&-ޔG]LWÏ@N|{wwuOyE5" [875).ވUr71owk`gk/!a$e }JtΞ7ka|T9BοbPRpBzzVg+7.7c7%=lV| 4*AB"rjɢ~2^A:ߒB8t z;JH|, q]c`` 5=PSQ]t^ two$@&pgGxnb*Ą eFM*Z+r"50dq_Ҡ}( K~y(tj`]xKB'mTB:c0(u٪ ';N|:c|%![TQ6S"(u\:0{H?gssqw/EELjRn;6ҶXCar8᭕\]9b^0͏X*Vz˛G Ej.v͑+.ᛌyhp 81LiOL3ƚ-4v +WՕh7@l @>6Hv|{U*{q66.8ii,b*=<ǖϮ4#dv);W7i '';-}'<kpAa;(56ȷL4m즸eoe8bW?2