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 c7 D\ ]/ WHATandWHERE_Security:threads=4elapsed=23.366cpu=82.852gc=2.700factor=3.557zXZִF! )]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?BohU\J14#FkƉEK<*g ̶es )#m#i)8|%Q@&6aa/#ٹdnnTCv-Gä PqΆ:/ˎ95yKŅw\E!a. 9Ȼ\J T oUe#VЅ<[P*cOC9U;t<e&Baf' lC LXh[L 7 WHATandWHERE_Security  %ܹ;Pöng%x%v(-d݂vrL* maDU<%n13SwNC%nnʳ XLn\|i63LzAηD^ӡ>SQgYZ7zXZִF! &]ŗXiɟWڱIY\u-Iv*#ok(R)9iy^1u6E*P)^gWi?*qhzT^mڐ_ȦqqvslɥfFׄ>n11i>f }18gjF-p(;7}-#SmTMVuD]bC8 &[Z a+JpWϧ _!:W}׭e{yYy\t1dΚ-T]ܳgYZ7zXZִF! B ]ŗXi%G̉S N7ǿͽwQC *]E0gn%x}iMI3CAn37$.{n m\tLc 3@h QjlrcY4 oQ˜3G7T2ᑐޛ*K=ko8'qL{x. rIv ,V :h`Ls\ wE #P%5wv❤RDMk4OrC ]ϊk 4b.-D㚫x *W Jy4׻я ,bG:R-d9űtoT!bQ蚧<{#ͤ)Inv'o5B_k$ z`S&v繸##Pk-?̼à$ӂޝە63DI鉡Y9ADkQdS!f]>yV."xrȍ G%ZO^4KoVDmuu:f?-f֕ id /"FSƫZ\ " R]=VRG1bDw9% ֙ΙP\{vmFzQn^(] S a de~9GLvp&3\X7"FUדW?{eC :9NCB^ ˻P0J^qkܐPT91 SB06߯ɹU0!_ML%#ZXe~ aMP.q7@0Xjc0('2_NO݇81&E<(A 7r'"L}dRbAze#L3gE8oRF<=e`TgR4wPM'O~Y6bDןb6n T)WU8,yqQR 7sI q-<)3; 2JGGe=F`e ȁSk3q^^ⷺ'$_DNn6m |4)oDįOW=} =gek ̲ ԯX7'?OB`#rn!|xu3[yNg jd;L-âGdMhw 8yf-o.2uX< 4[/y\ΠT򂜮sJ5.J)µ0Ή<_b͐9?aI1p+h[@,hC_d{/ N*L cȑ1GonT;rax̐#e 1xBt<Ҵa)^LR|3Џe0`!"byş?9jޅI/ZL[*wZw$FٸTۇqu1ݭ>b2L~2gq,/9Cʏ]B'>VsS~ݢqb5V{g]Z]-_ˈ2$4cFE@'jbQ,gZ@CE)/I?j5qp.|UIJ o~i9l抴w `eڎ=n|7E?;:=I8dsMbBգ(sҎ6DBp@z=DGtVQisTQ-_-\J:۶@Q '3fBwsȯǹ8t*}({,A$?GAg @0Ԙ~̉"|CZDqq ī!kj0)ڑ^{_īȶ@`g :F ŒLO ]iΌVsvt0wy"{xaR-?6k_"fȎB= ]?H Ŕ F+}NptjN' `PM;ɜrCZo4zg?dkG[/E5Uɹ IDBM? SS4B{nۇCڦdEc Bl!FXpyfsVq/!n MxH_&3_@ E l(eegSuh}# +ʉJ }Sl ̾H>m.}CRFh|_$~B7ȑ2RU6.ڛ9vIuEl&lH]VP<Nea}F{U;7ج{4XgGИC@V"8"ȑğS|(. V81F!VĿCH