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  h h 1 d D ] HOL-Imperative_HOL:threads=6elapsed=35.596cpu=82.188gc=2.828factor=2.317zXZִF! /r]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøa,2KͅJRϵ4D4Ͳ 7T'ez$%%G$=aqHbxx1SَH5ZEvMIϳ0& wSaCJ)qU!mzøqĆƳAoK0L<,yݺzBƜ6t,Ÿ)z+pB&iSIg9 a#WF<Ye?UB.ao4? ^qkfmtU>~`'cZ|57MRLk LL53`y}~;'_}P7RӮW o.'$;K-;)nWI%W>^*N10:!Nj셙*jq$(x܌~}}>\Ryb/O*gۼq[ Lƅpun K :Xy &}&{鰨].M&z2~i&˖4#nB8vkOsWk  ^gYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd7q]m"t}<R)[ pp x7֗R'ԋR51&wp@[Ma>=mlܟMCsqR1vf:˵btSP(a' z\ [+rͩxі 4*Y$ʹђD1U.W"# ! hyd$'"cMơ6b&= j3mc)Vp>Uađmc;kˁfu7cCz2V/ϩs)>OQ=32K됶栗Tcc7I A˱gYZ7zXZִF! ǹ ]ŗXi%IV'}Atf~1ђlRpb6 ">p`̎[ smUɩ樴cSy6ɗvmI~ Ag:\(H"7oi  r.t#53SUN!*MDsi1xlE0WO24UrG9k/O ?7.g$J1 od@jꅫEmOl8Lho+x_>XC*Tɮ0 8Ex1t=R4r: vS2ol,QŧZf^]34Q:aCN9Ńd8cиE^*WiXJǴ}oό{ŵ=`nG T\qj5o%EL9O2RWo509VtvbsTT ɟ" 9:"H'2+Wx2Sxx ?Nŵ ɩm0= &k9 aSD=-|_)j̣7~{/IǩiK4-)lRhk-l'r|HѠ&=2_9 ]ra=I%c}r Y1S4#13؎<\OLF^ӹxZ9xwa_1G7a'K6{8-X꺘, Kb\ 酀o>z &q6&o z$y\~JT{ >q_nP.i1Bg-ˋ3c/\PwCK5шIř2QaᥬCʑßLB0B 8WI_:]4Qy%UQZTi-s ZLZxcxknu|406qN.ҮXjT- %xIsb`VZ(zToBH.nTJuȌYr1Ǚ5Zp^_aSbq@v#뇄 _r+tp`X"wKSlҘ"%*7 F!6}8mfY-OpK٦f8,JFu1VWƨd2m&ܵaUC6]aksfdn֊bd(L C딛w00r~5:H:,c1!;%=}1T#'4k<Uԥq|!# ]̀;5X=Y]U)L{ k&شQ+CLRIWk70\yR|p7۶UmGRZ]b6~riBie"$.2&<߂`qNgXZ$CԀ;ᴑ"C k1D@3QI&@w)P/bT{3M9X m9 Ao,&|&:) 3GW:~aQtN9Sʟ{`ovwnoU*iӍi@Hn(SK\gN8:#"GJU?XTL踺nޣubq,ނY3Ie$\jޭY6 n7ƌ^}X7H2\jΆ;E#I˝o#X:4}7gVIߴ[v^Vym>t n }wq;pbE^{l-">h['RJ>~?o邸!`y Z⯊ѩlb.X!˚Pz@־nWLg ܑ"A}LR<_81ZKWWӔ&q"lZ4䰰j֭i$%>OxMA|c:o/j;SkmK_-ҥ6%oOW[6* ꕦ8~gYZ80ef88883f489d2108aba6b1e97c6479097f37e2b71b2aa485767f91425b025d2acb6b14a80f48dd fe032c99cb4dd9300104ffa318b3d3be808bc47b de61e68e68af1d57b2532805aec602483b3d5532