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 CLL$ ] BDD:threads=2elapsed=76.318cpu=136.800gc=2.880factor=1.797zXZִF! D]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>I2xH T5O]UFHey_bg ?H 6vUoO kV?x*,C|h%`4*5T#H!Xe{v[\fs9Avm:K0~o!Dv%'0DGVzuJD.+26_|VT;կEd۸}kpY᚛2oƉ&OU,*N')+CR<;SԞ;wWjK^*|isFXp*V<y62AF٦ E7Eg(SXiev<6DXN4`?G.j_/Ԑǟ#j3^q-BH0eof] ̙:Frn AHcJsh!L& L4^4Q tx4+[:ź8{5(ύ-#NyA<9eg 03tYJw5Ȍ$>Kf/-2L1_2S|$bY˸DC+#y՞B%Ys Dv&ä%-`lbX3BIߪB1TTUaF){,gc/Y̋~5pهIi&+ n[0r=cǡ{J6Ejz!q@Yf Gϫ qdE#b1!ڔ5+8Q(fQ-uZq<rAH}Cv|Lɥ"rx, ?6Ɍ^/;}r3K[TtdN^pVT#_d٦'q"\ɟ}nx3$`IvX!YВ ޓHo=K)yaWe\Hf|.`N_'~UM~! ,rV}fEډc;@.\{X$K<]-ʚKC׈ʶc"Oswaٻ~pX߷}Xʹkq"Ö(äp:QODdcSoiV::6PI Bob>Ƈ-+> "I;<$⡔U܎oiQ6N&V>I8oҾI ì%}ff qv\p^%yQ=o>Tt6B 9W_t鯲~PsSbhk#OC)-D-C!ڊ[\&1J!Lqrs)M؜ 2gYZ7zXZִF! u]ŗXiɟיvL6 SczP6֋Է=hYK="{5 ;WeJS.3`ݗƗ̐^9zd9@A" FsYɓB!U<-R54J#r(DMuH7Q%Lw6"j\Frrhx˹+Lq {d%gYZ7zXZִF! ]ŗXi%;3,x&\$aklŒ<[ Iq"9~, ?NK|%![M"M'k%@;9ΨxLuF@?uP m UČJ9_{ Ma r=cwD͊N%mtI+ O\pLֵeҖyw9}(fG%P-Om]Вl2=nz^j؟ !W%;u/ zZ,Jc*E]͌SQL&pŬq>JA0r'"ȊmJ#Ǝ~OƼkעR}##3ǟêRƲnȫ jBtO0Cq#' wDz&;iK"H49_=/(tEE(,ʭV<EɍlM*A[סR/f_E[l`vß!ʿGql|M;r[w*0mm ΀t2uB;P|K셟  BDD  nan#ɕ5]%??f!F?^s]W#,g#87\Qpkx1ZT N}dI5mt[[ϕ5Hb cNo#fPGܹIdi7D\# ġ=Yb!745"X4X ~mA;*P.MU bGiVH@P{G,P;u#+s{jҙȼ<4xsk1Xԉj8ar#BG0iK).G5PR@ М1.bﺴp',W%_kc?[ƱqIo1?'1BlA&D͋p~F*QBך]1@ אXTLeIfwūr;N˟kO1Lämɢ7Qx9)\ Kɘ,# Z>6rK+[P(窉+pض.B¶ENYFIR[鳅vph\VPl%^"HE-@Y{hzzm,_v>BS`xN&%.NQ3a9"1os_΋Hn1ywg+ţ;< qFAǑ8!.g :2`1d p "+t <~U pI najBUBMY8`j?eY-Hȁ4>ۉ ~(1"ݲ^( $'v wB\qCْE?ÉЏNV_FKd|<%N(:U,<:Uy!A!@b-T, ʧ/5$8 @YlFAjsr?1/,7 -bjmY}[jm@WO _j\&""eRSǾ|KFp~FHxTn7~޵;@IdO,&d?}6 >5}x~GL1ب$q`gE g`-jܭ{H| 9^jOqʾ~XbbFn MwD+9hC8&-O'TixF\wkD-r/]>gW#z@EÇ.rsBHŻ]z2ykx ItdrcnPleE/̑9"w3 WIxM]Jc_*E+,R\ f4no.ٳbsHO+vYRÕo.<REIylЖ/bFyp؆YpY7@x%#%6u?1w&W{dtTrֺ? g0XWw$3be$WW&Bk~7bW3 "[~TtQq+]I_sCNLϣH!EeF)C M&օ_"KGXϙBԻ=sG# C}{B>+(RihUtф6+3hn[8uu]=B+ǡ*xohzHvc 9>f#CJ05F3O_F}pj2) LO8|Xq/޾MJwl>yS~C/VVDCIa9 ,he6n #nVԇ{O{cqŒ)Q ð˂~qOĘ-[F꟒e{_ZESV; Z2I"V(m6-RilbfF.1Go-~;ooș3-܀n6l|/j9 c?8҆9@@޳灙Ӻ#zE(Z8 +[z J~ 2 p;ݩG; 8.w\˷9#>Rqa`Y_CY0\zOGrMOJ B^o4"^@(:g:6<\ȎGluYbGN5=(.죹΢}W蘷E`$ߴ$U75'bAU`{9C7ݢFgۢZpL"54o+ Ala|0u6{21]mBb2z$|m6p6|9mпQaL-_+2/N4|H ҳ[ADPk7dE%9L{22:>DS 6xy;crk VHH%̠nE G8B#ԕ/>a`A 忥iy~F$Wy|<v3h6zi2B:TǢB<1:9V9P%oY Z8pU MnP` ]6NJ+(x&^ ,-s;R6r}pZ/!ɿdbQ/o(ۇ }¡vV^1h YZ/I"ph|1߷qLt}'yeLzv jXJ? ަ1| qZc\iFΞnŠbB^ y e)>jCpuMHuiR.Z3\mݫju;|Netd)fOs0[B|+p@ 0 e :)8(K7}*gvoG 7#=[2fsy) K^4'j*vaշ5Yr t9Xn ^J* l c%}1]2GЅ.kbWo)oL7e`nj,|7K#kZ]AV,&hwßoi˥} Ul7uLVLUW'_qX!Pԧ<7u8mP8TO_꿙⃿6~