SQLite format 3@ .  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 t ]/ Coinductive_Languages:threads=4elapsed=15.100cpu=51.556gc=1.500factor=3.417zXZִF! J,]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{ӑ'N[}s?+[+7@Sb(ɏOXgދ1az7B{K~\_=$!~$ݍMۭ0Ќ_3/KU«lq o+BLcK=>_.?)c«9%x@wQt5@֔|Թ UTdI &ZiopX <ݾ4KRkQ˹e(!kA4`|N 傴*ܙ[ԏT,B=*`vq ;* t}ZYp'AT3XYb3dYt}rts_Z 妛j 1(皽-loe{Ǎ LpR±8e뷶( B-f8Π>nBs=,z2fRM˲4N;Vv@Xi44 ;`=xE%Ɋ$LDu DO\JIQl:$xe3ɨAy$ Q^.#w{\Ghcg68q=Ug} U~U 0pu+ee V]rm.'WMۿK?4hXE6g&*gki;5ٮstbq$z?z1LkBF鸞@h\AlD_fT5ts֖n..{./s8`:gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{dY;.^ ٰJRGA`,<.wXdō҂U޽/pGT8$ɔ'G~[sm3p™s6r1UN8Su Y/צ(=r&ia)"E?oM||P!*}@uReFʖu()&ىKQ Ȑlf]ñgYZ7zXZִF! gq1]ŗXi%B'Lj| 뚷ɮ*.Nʽd&$rT.47{07|jdaʜV. aLvIb3Aīo!m:+H`qJ~Hn+R1Vī is TXA𓒙" ZIމ2zG4>rɲ6E{p"3b'؊ /xfPBZSՓH||!J$p-|FrsGXzΔ1 be#Шu+TAʦšɱr 0eqZ%_uDA눻FUH)Qɡ׫e]2tl+v"NL,h N_8uu~sr'鹔m?`]=VSļYHd.u ݎum xixGqQ0%ޑ 7{'\r 1BG]k_ ďX65rTXK %G+[z?v\ 3K,\U aѭ ` r"$͎{W``^PmS D b#wL #Y$f+ȩ@"| DoݥQ\*Ɓk߯Du+ Wv30~W]+۴Q'_!nPO*x0lo,|K$$Y}t䶬AͩnN\dU/VYjOҡ {B;u91Wt-j%{ ͽS}#bÎ}!NcRYC{h!~_܉Mdbyj$J׼z!Uq,:Dw:»Y/eݶ! wQ:G!ҠS.UVJ&Q [ۧ[Zǫēڶ+7XꙏF;Ɓ[A\5~xƽDGyu&Com+d䆃ht}.dL[3y{`@ P<=$I&[kYݐwd^oP*/߻~H"]"$cQ& UjNwŃ\'H|B& .0c2ެ?h4"~sT S ]-6强!A`ZjNΗyIي]MW%V#B.Hf$f-`h[Qd[,+n pTk)[A5WI 4Os0<a^/v2&pY<4dE'^A[(h3V3n2*g>rBG\k}