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  \ , ]/ SIFPL:threads=4elapsed=35.982cpu=102.448gc=3.440factor=2.857zXZִF! -}]ŗXf[&N} wI>>n.|VLڿu@jq\\Z~m+qDκֹdaIXzg-wXN|c7n> x2Pzż)Y)]\m(੬,Dƹ8+ а;8sоhstUDcPtMF߽wz4W72=gQHfxH-Km󨳹N FgV`2UpG}r!H86V@ky /燔@JQca6J / ui;ݳ]tθ Z x}ZP5w%8\P r4ge_3H;=ԎnK1(z*)1 2TflDwAdAAECo"IyVGݼWDvZbhEr:35cԗ>X6:ՌԸ|tm~GquW@_ &  )SY_: R"^fvI^q޺$ f )@ϞE="˓o SOiVo`$KMa:]. v7ppJvʂ:´ -OobA ^;Td $Q%wR*A&  SIFPL  $$.S_"J rNUv7C)鉴7p\Кsd!ACB%4Q}3{t cm`dtD{Qzn(#J>HG_F3P9bQ3AcIDkcPRFgq:W~T-%]FkzĀED1G:"JƒۑagX3)E~ђMgP6ᗾrͤN?Q|TOLNs,JOٻ-dTnر;Xp,̼H0gJrR4TUtyatmgP;ՀSm T͛Lp=#eg֧H̊ΠaXuj3p' /T$?olGif`rЕ ]AQ)_KAZ>5=c//KXĩҐNgҖn,/T|x\u'=@-יC ?p89?^v/%fiփrRX ɑ5t"_>)޼ /eZ aή U3oJ)^(}8:cHgYZ7zXZִF! M]ŗXi%GV 2 w qyqS= -鮏b8mRvMidkBw+\]N'$3gN(W'#ʸ٫l'8s\~PH-w:1%9%1\fU0p E=vA^X%= F};+;Gfn"@&ba?N>Ycrǎbk7ř'sd|E%t,[ 2,18(z78<z^2α(qF}:>ϠsW>G#TNTjKXi5L=Z KWL/ψލJ\4?9>d&^?ƞUpׄl?l 4اwH)g3o'v7CEAo4#qgͰ5˵gAnd]"y"jߩX߯:Ry4LBu=VqKwKRRظ7!YnU $E`ˉ]1g><[1ՂAnT7r: rQ&%,!vUK]Ze \5B)|t`~dA`dFhVOEY Q QȌ| #v-),Eq$UT-eơZưuvT{7FV Ʉʖf>!C =NJY-73pxz 9A&5gʟ%';:qҪb0L>4Z@V(sf >p:G\E.)ǮR+t E rw| ݮs/ʀS' $Xa^(DȷXav~?qSOJc\X&ƄFtGD8g6sXMcq@K[F[0.A<А]M A(S7WV?M2lڧ\c(pJÝщ?=kXW%W ;RO2U,rl~7bJ:.1fο~ߔ{J{4;̞O,hr,+ݎ]x%YS{[U nΰAŁlhrª3bc Q˃ĥ#(‹XГݔ `Qy䨽V!ƾ<)Z&ӊTbISX]0"?K]|y p$5B~W>wqnQ۵+v\L[ B+Ua˚W㫕LD3ZÁU[ jrν8l}Śktޖ *Mi-(rXV|3rFŚњ> ׶|^ xe'v]ۙaLvW89Lè1Ƀdpix|C6g:S(UIn r'Q=4\'Qܜ z_^ 5AΎ:LJd<_WX5)%V jp}{i hTuf1 0$e].-:OV:ˋqt;I? ^=cW^X5^{BN 8NTr4ȸ(zhL''!EW'`GjR6ScÚ ʨJ?sf(7GJ#0BiG5“VB 洢,x Rq^PEl\gݚ]b)ҽ%Zq 떦~&PM嶤O:  ǵ[t8z#%U$o Q퇚͕I=K]5PۇOe* 1ϗO ir\f_GaiFi#tN! Fa'HcIW&*d ؑ^б⽷wt#.NY!d2IjԵ;ADdo8k mSA[O*RԕB}̙Jpi ;%#n[1046aAo1V!@ 7gYZ24125c7e48e93b326aafbce6bfd98dc62bb40bd24b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2