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 33J \tt ] ZF-UNITY:threads=6elapsed=5.512cpu=27.732gc=0.900factor=5.037zXZִF! e]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ꢾhH%Ŋ9%;#q&2?ZU2R:{Qڕ̟sS5c O^(w*=ϴx:]#Nk,RV<O;~4'P '.;4,Wq/IZY-%QCkV/9_B!6#Q!X;=fZDD[|"0CݬK)@pV,3ܫc 37HZ1]>2ͷIC0?B ws|g=h!=BNw`Q$jErHD<ةsoUB2/ܳ.KyGqfw: +WJڣFX /t[y.Pf.ʣa'J pcKD.R`޽r~)lXʿ:\k 847s|nC_wj'˼&}D!ǛȬB5Ab '+W4 PNmmԟ&2(޾N,77Z`fS;Ang!{\-v!ogYZ7zXZִF! hq]ŗXiɟ9 i:4V;}A<<ګMP7طقa=c6@7U<~Ro?^05Bo'b 3U=˰Wyk=`j¦Ը5`|=jOӎ'{z>qqKPFܳ)FxYv'$i*oM+%[f4opKȌ.$þ)S =v]=fo֛*K >Nn+ o";gYZ7zXZִF! 4]ŗXi%;eŇ?){$,w9HOTk / Ѡ1wSȝltp_jb|z0@$k]:;Ȥڇ PMNޝ;Xk">|iGq ! {&sIp~>:$%$<Qq&oxյ?;Q@6*-$OX+S,R>; Dc tPvkiiNfXqbPkX3{Af; _YdW H~޴H/l)N"ީo^.Ax=<{/}+s[mt& @b=xDT@kE^q.§koɀcwʷWOF=*jxNQ)fe/nh/gn2i?5mjiV:a{6/|3je /HBo/M鉧<:cvtMP!㋁R]ů(2)'{<@4.|Q0钌I'$}Z&XВD$hc)EqLuM=5[cb4x`C @P>'T2_7qڕKW@B[KSA`wVqU5" {'#} :LIgYZ034997274377db9e858fc2d3238cd8dd143d2d04e16f84d7c340d8045cb3723a318bbc6979d10b50 b683de6c08b6d054d83ad8e25b053a99669dca27 3d7e3e3e841b2ff6ae92f32f197fa722623e9977   ZF-UNITY