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  n+ \ ] LightweightJava:threads=2elapsed=52.723cpu=79.928gc=3.200factor=1.527zXZִF! I]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o  [y+rVF.s@]Q˔ !G6u >2:iBI dMm[t`yZ INWCO.>IC11BµRv`u賐"hѴ/Ng:PʏF܁`c7I/r 59ސC]$'m~fY4yTaog)dLj ;H$PSkwP,z]*jdgj$;:nWrfL5Xvz׍mrEw#K~?1$On;5O .òh }h^0 F ]>9,ĤI1ɤH55\w /SYpZv0] + LightweightJava  ?8ʜf>V =\yig1 D͟c ,`YpՉWC'ͰIe&Q[ _OmQF*&YD`/btݫ}&<@歗&sbm30qUmyu`U$<7ZӤ+[ J' ̕*mwS$Yp\t%TL=o?Ku El\%ݕ&)VTqxU0gTpFXB&\_FN097|{: 1U=1EU nmU, &r"|^} -K(|N-kb2u{KeMIBsUF!pZԽ1\PnD ̍xp3?s#ոM6}Jt/28cTS}/Yη%,l/ԩn6,ۈI5*EZ YQv{~0 WJ=+kE{L1%^~!fQ)n !bgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9C9ZfB{U7Ax1 ԗ2@>RrU>S,U*D}ԑT)DФ4"Y;}h*n'Yj)qgYZ7zXZִF! s e]ŗXi%>gl R'B"|㒤4/c0`% #St _ʾ{8om'^ܚh5JXʴ {X r~(vNJzϟx2#գݢu3c<^!~ÜոEDh4_!ϡ Z`x?PqGMBA9O? ZX^D>"[+xfMa ׍ts1ajt{ȧ+Hlf2]U>1BzF0wZ5+=JH w51?T)FغmV7՜\y>~>pI^unE3[FQ\2 N0Ym$קqHCqpkN/בL_dv80m,L7 {fՄ_49N)YJLL:DnQA.-W~dMwTB]M]GwfVgns,C iBkR*D݅.O\)z,\P$u#0`= )ŅRu,MK2`O-Gٸ0yC hk 8Gvތ][eJ_hRh]L@!%i]ʦakA8jĿf= 1qCUyN:2y~sȹDR-@vh^!`` Wꆶڱ IK4z{S'bmх|T.u3hZWyKn4`LR, LZl[wˆܭ!Jc4ֆ9sF}¼~ϐ)ډ?ѬT(VԆ ! o:})KD7I@b+c폙}F&Dz`гj&lmT0gyyLl^7b`IFc0K~d*b cej40 ˽[0JdEš g!u6_zš_2£@1GcO:'jvM26 vEliKJK"s*'A U>o!ZPu@OMqraXKֽ $iި^ai`D֤d\Oi'|q`Y?i@z+{3uRݫ/Or+B3%nQHX 2A嶛/#;.u˦5 ]*ECjA)X78ChQASKH́ک?xbZC'V 0p_]Izs&h[hUWɬK/5Dд$`X!8jhdo*A_qSx!b= tŧ.ONR@w4<B]p I*LclV|[I-3c 5# `ѺdBe:.͂*]x)տFe%VfOJY4*RYP]GݓŦ<*m9M{F˄J09ūY|f(k)0N/Y̬,&٦ݽi\A8amz1C 33FŰteA֞Irǝa^mOYlﵫ־L[]}5[ oRR-4R;Q ?nLx B3~|Y>}<@%Bډl(2dUӎdC'ahܑB;˹aV \4@V梄yEk'":Xi{zI|ڳf궠 (C91}߫',U,7p5RQ' F}LJ˘msbښk85 5Ŏi[ /+R WnT#ӒJe҆q]%d%PzG-ťq0kV#J|n6u??m}bhzKg0~I*l>([jH)ylq~Ep*w{~*^e1u ToI)I3H^E$W&3^.jVv %PbS,'L="%mbAp