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 a7T,$ ]/ ComponentDependencies:threads=8elapsed=40.321cpu=149.783gc=13.859factor=3.717zXZִF! #]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsy;r`,y^ eq"C/.u&9RGi_(<e8ۤ4=y]}.7UM eИeAx3Z`gfeml`ȆzvH̡@;KS N}l0H~j`7bL;x䣍c[%W<}5-CЋwMҋc𩠟ܚTUd7l F.~`,;l+.-_feG 7 ComponentDependencies  yv,vǍ);NƁ۝,ޯÒW6o{@bPh^Xk$|~7*Gp+(Bg Yr^Dfa-cin !dRv/=r=/K53bF"hiGX4H?EB~󂡸׍(Q4y\qK38F֜0PcgYZ7zXZִF! *]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?BfQ*cOÊ̒+TgHg?kO{:4Dn9:Bƪ"$r8%\߱gYZ7zXZִF! t ]ŗXi%>t{wfa]t Z{G63ciK*j*YsTqʤ6ۭĎȃsK}ϾoDO [Bsyyjv+@"u#\{׼57[^1֊Zq`*'[eү_8 q!L>&`?p:Xp+mH\ozd+nҲQt)Y N7F >6HBڱma4+1׶W"_yz*\ۉf1:hlw: 'A+ {Voi(~.H6Za7y)&(zE4>(Vm0@i9y[վu^UM-y,zpZ"h9&6R)^:~F%#>Rt9C^c3 K"NҦհHNT+N(v>HMMuPz<4Tڳ6* ?=ڟ`Թ:'.+A]9xY ͗*zp}oS-qA׬Is? EPy H3 cI+"r)vr975ftBҩYLhv_k| U,+%5<¸c]  dRQK@AnX}>7IJ|p[=@閞8jjy35$y++@ Uwa6g d!] LNA|O r;!~BU P}%VînXδTsaX{Qz6q@}^T<-7[ ŸK.w:)|U; ׽lBiVך>@o6@*bBzKlCX18؆2z֐ohk!-!ۤ"ߔc$J.7P%yakՁ ^Uv ;7 Rӥˊs2*.cc9$Qck8 j:X +Mj["\E0.\nuI豘ACWm7TUKNwa~V9WiԹ9bKfS:'Ț"MN~ ]MzWS+%D Ut&WkJWHe:tonӔ_ǜhkN`/{kf{)oF"9b¡ #ɥ}Rƒ<'Q&âzQx@`lZjǏAZ=.䌆.v7H\&eCO˃@fGQ}uZ{Snk9]29ߝ@)yZf.ۖ&TZ+Ƒ` ~?t]OeMH4:m^8 69#'D7P%zXDνgZ+sMVMs O$K}zk!M pX&U|,Y6kwMa*Yt a;^n9S#47&1; Ng*1ϭsCToWIwh9Ώ``{^pC6mg[z,=Q;%D)o;*(±\/$pfGI k%8oOmbzSB_R3XVwN~Vkk0UohbL /5u y"Y"@*n+nz7N!Ql Y;<: mnQ}F6(  9P:-krEeKAȢ >z{Rѭ\zȰ KC`YWRu6U,ܖwpC%4P)Xዼϙ6 J|D2[%RKI ơK#ׄc[o)K@Xby : v!N?jJaNO,!u͝KEy2l.8K`st|}IDD~/~4;TQRpCטéug .q,m6e"hN$lw]1ovK+ݜ G頁)sAC.nso;y!1q]/ssm_g# ۫& L~0rf+^nnukԝDsՏ#_S5>ު7dEʢeʒ`2\BxIn&_~| # kmi~)_3:| `c) TR~ɂJ8=4"UQkA-˪& i5_6Z1',cbi~賹^Nb{;/ W74R7l; @\VTP|n*Qdd_g -.|!"i .#