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   r# l ] Shivers-CFA:threads=2elapsed=28.732cpu=56.340gc=2.832factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V#FlFD|E+'}W Bڳ(mnZ&QRkМ^w9<3]SY,].q""TflYxO~i;Mu 7;h"ʂom+9uUG1_ e۵ Li*x3{S?vٷr`2mlph rF^wEK ӯ( Nxix!M!bUp*2jkFvȾ,^Ds,~ Z%.x)%yT$}o?|̡q fCY*M+= 8;Z\삥jN 1kw+/A(Q\%u締XJQAd Csrv%̵$sGV!y^/fش,MU4> I/Uqҡ}03+pW 2>4U`ߔپ[,(ȧ6QRo U@j`,ƠzW|E)={9gYZ7zXZִF! ND]ŗXiɟ1˦rnzx <@0+gML:QӖa5T+:gllbaq_ַ<]j|SW=D_[nQ5V9\@[ר=!%Rvx NWͥ:d*v*@[ 7|J}f2]Yp _<1~VēQa"ȏ YqGyihm埥;TR, 8: JDB<"3qhpbdjrZ'%X8X3쏱gYZ7zXZִF! .]ŗXi%>g jep}ǫ\ZW*&'vڕ^(7yw>C,w^H3030s~ o?lFOw|,-b6 ]/]aT˂efghSהy`rjdD7e"GB؉1 r3sk/ AfZJx-:I^h0vhþ&]=_JRl>_Vz␥L(v؝؞3(&%0ܤf:ZZAJ_Z>"jKd%2uf;rG}"##K"7 =zes=Fx.aޤ^ƈ2"QvT]5L.Uw` /[ ujCRRw8BQ0 ~< m6VHE+(A6>1Tr0m_uӎd "9(6UvIt#!ڈ5g ] hAQ4nDeNdvdL|a WZL24Pvc }㥃 BR3 Djs}-P."jXp{F]Yq Yhq\ƻam$0=^.c-裱 pIOȸbthy^7 ᅑ) ;xaUK(.$΢F;Pڃȣ;mfzdSdaǷ_9`7<Ƭ*pwctT1m{넰l|ڋs'u秤,uCKd Wޙw:3fKft]4xe3"ު9pG!SFS*NI3"M {6ig:"5e̒eIKS7>,g\rjVeQبl*?1DӅ|TעOAIwՅ[K<]cN 3C{ʾu^͊+ <V1ө [᝱+Q(ܞĞ֗ޜsAISsIA=e$a) 0=92nE:]-k{L. 7 b8֟h:rK3;sP/|!973KZl03>v @|;EQX(B8ioysGũh|͆i[(Kܖ+j{8@|8L{ڏ+.Ȝ&v4v7)~ؿ*;2̀(Nq>ŏk't\b.rn#_EHZ?eI,a]a.An[ck!q0[{0ylYn} 8tW^ /D.@mhڶ_NO&GiH^X5^At 摎BEy?\ߧ"MŗErs pWu:@j!H{5/mm^z=N0r 5RTGV+Csl,q?aLp]b^}\%!Ӟ!ڸ"~ӂ{hM]Ǿղ`I-)-J1suD(?TWsz@@pLzJ1Їz*i0LQhZjq~ONF I)Z?G4Wa늋"B$C-R_0&y%jzp~˂>a}E=,ޮꖁ5UU&I;3ωx9r&S~M0; HmŌ8~tgYZe5373267038d7af62c1ac6b5880232cc81769ce5a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac # Shivers-CFA