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 /- d4d ] HOL-SET_Protocol:threads=6elapsed=21.036cpu=92.704gc=2.676factor=4.417zXZִF! +N]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaЯNqg!/ʜFâ_ jRVhB.Yl͂}4T:Z1d[ܸ ]|ܞ߫مr~8%9Hd[F~t˳9I_G-pVܺjNp 7݌5ě%*hrV!AyMS嚉պ2a3yATxP!fjv=[oQ[}'¹?ٳޚ0as'=K/KNco_-ž@yE!Hpyp0X1]< 9\NOVXaYۙ }h.PX>P?-pB*H@L檊7eHxYP,3!:pk1-d'җA+\ vF %0$e |Μ(4L+p H[l70n >|L:C[Ư.Z($I>O 56ϡ<`|W%M[N0p`PG- ~ \83uA)r(''$&52, Gc}JJX?σ,cY2&9DmF}>ϢʴHÒSEuwѤpso(cīJ};o{!S 6rrπwuy!fHo3٧6ջΗ=⣷ѶT{G2El\QNHTow왲wa:%(oOq)*ĩ%1 .(7C "ʄ#΋о\rRV/*o{с]1upJtQSJk'7uឧ́:N5o +gs|V}gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTcmh\ӴĥOC!AU8j|!fWW$=vG!qsQmb@?5՜D\0zz;,{\9|N]TDOHtpZ"/E஌^ObRc;IQG4A藨kY{\ tjJ)X@O$7j]kgYZ7zXZִF! e]ŗXi%>o ·ƳC7#Cn)R\GOC^YuRhV  %'&a.N_T@y8Zݎ$vѭIA| tY I`+e2*DU *&k]4G/4׃m{tEk-;haT8x|3x"{;Tu758{g$[zDA2;Rz%|Y#a( 8i ~ܦ*S찁ĸFs?(G,d]赹(jhy q%푀*lnbQ~Uck#CvXqݫgN:X;3ɕrv`ѧ̉_$1w\t8_`ݱ_#(2;8!!;=$ D➠/*xS`y + p;Qk6G̼g(OyH0HGrGl(S^Umљ[RX0rQ'@Vыt"eAQ0":Eu*(њh;V/K @>Ỿ̎VN@]#FΑy@Ud80%!MY22 aޑF8HF.Jc/ ^j Yk. )p6I`l&)ץQ)Z&ԕ()\fQԋ3xLcڐԑ3yd Y7;#\'8u]ZD pg kpρ R܄OtU+S99SKyM|j APRsR>bgU;{eW/T*NR/Jz831qko}2ZL iګe"o`ZM\[XOILĴenZNˏ< d:r!qKWEXNn|ʚDm6%~,?P"~cO_#;&cHUt 3Iw bk{*pbn@_u"VR[ڊ/]M>VD .te+, 5eRp-Txګ7` 7Wa$;]$Ĥav?!nZ:=L֡oc8> JF ?aȭc#H2q[baW}1cE$SaJq 30sc4o[/ˮr.Csy֗pD^:o6=FpP Y!/@0 }肠lS$wIDwk~5KwLxf;e)vlwi<m4hC%skH|mKp"֓].!p|QΐL󂾌Z) oX~mKݚy2Gmwy#S;Z[']0=Eϓ͂ Lqz]Gv-D#2 $1y;&ΦQGMKDX}.ߤǂcv&d ?_Sw^=o >7^\hJ2]ԅ#®_Qy]XMUR빏[U=ù5ζ}(.,+B_