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 (+Ll ]S]Sturm_Sequences:threads=4elapsed=34.510cpu=116.676gc=1.704factor=3.387zXZִF! "]`]ŗXf[&R;~e3_eF dtA:'gh~{gE'>\_Rz Ƭ[0_jG'?:O}c SJKA P+?^ $¦}דėf@ܵoXs{0l$Xw24V¨?{̿Y~X?XNw51qr#ShS_o+{pLQEGF/3{CP4x5kI5.7uFHdߏ2]p@RcD';ɥ? zeTo#,?3$b + Sturm_Sequences  F= B9 XۀZa-[,6P 4v]l_Ϗ+ {ܽL1g2G;Vdas! !I%B[ Ɂ2֝J G; B"c-m;Xc >Qu*U :[!Ǯքܓ2x=}+UWtm^W 2vU)0̨=G.,& k+*Xo[]}nƌUyA6v;S{;*#.L[')_:aEafw1L%A ;Nv4!H7uJMГe= րK#Aќ. Q=,1ժ_>gYZ7zXZִF! ༀ ]ŗXi%B4E0MT5ʝ+9·|Ykx99 J @}1PDͼѾוGYRA`1[HE*},S|#؞L7lJ@y=j ~Ri. ZQ LũJclr53 1an0t/#E\wÏH13X蟻u o*ȩֈ?cycRZ ?7Z%qK:IjUQszrm}o&Lb<ʸyѢ.|h3CdR%\ zÀy{VU>*Ezi۸-AEqt@3f)Ft2]M\0KPF¼ 7A4/r0r oW<.px!h y~ q.`K{]ZLTE9FU=|m [B0R5g6V}oa(Mğ)Hbl+Լuen78WnǜY:5 {ß鲜 <dazP呄$Tj|ꈀQ$7)aru4Ȝc+_~9F (:,4`97;شBNB+I `&Vg<8a/8}a1\;-BOl+VhL}fe]G.ϖPedB1)粝 nՁ=0Y&2{EuƤcoŏC?wDJ8`vWW/^gqg."E&*u-#gP0e= ZN+,(GhϪ깜8c!Y&zrWOձ]Hxcja=`'vRz/v/⇺O|.mj%aCn|a^{d+p kfqvT(c GU!0ؕ<{nf@JKhCYw'f kیx d&BTR hPLkK-kF9e݆o]@;TgJi ot]jV=>!$Aݗ@rޖ1xvnSͨk-lggaUp3AvL֛訝H P}\Ap51/g0DUHB(sj 2@)Lv`ȯ*dD9X!GI"tLL0;'~X֑{||"v%zxV86Q2(S+"G?82s\YvFHM(o^Qu-\tuP iUBg.(dT KfLٱ{Ӌ7P;)@Ug*w1mC]|J"c6)ω3fF}@@uL`} + ɨ; 2 t{s3(H1h^e\d:wɽ~W~u-)[ZjSF؏恟mD{TܵznIbCWi<:;&Qq%9>OA YgsDYVQN7-&3!LUvٱ;ߘ`"z0lYO~ЯJ\}?QWb["KOfhӶKWʡDY9 LC6`yޡm7x' Ja