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   \7l ]/ ComponentDependencies:threads=2elapsed=75.399cpu=144.248gc=7.104factor=1.917zXZִF! 9]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyxV=ᯝ_=ʳ\nGA }f; |Ԃ|t^ۃ; ]辐U!7:ڱҒSX??. X~ݕXiC>#[z9V =%ѲU.Hf w4IJFJ4*즓8|5mmJ^VT0MRE/_אTanM7pHzn(BCA|ϔisGM"!VCm[kE! Ps>[CD0!QD7=[0\H?%ҏ$c$ux!=ȉ,bAɐ(89t 8 d?ƥ%qS~äq;c_~5-zC[GH18wm F!j:n!04gYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C:'+tbb3=jl)Nv6Z#s #Dܲ ?3CBNKwtBokc{ƱgYZ7zXZִF! m]ŗXi%>gM.n*M`vbX=ˎ0XfbSqz5_Rm+v*W\B[lJsFu@z8k0ƙ<qS5Bd,MunS߂;^RhX޿@#a'DLj-C?QETh; 7 ComponentDependencies  Nr{ǧЫsDH`2=DW& tfͶKpKNaR$geM z1r=ZҳM dea煽7dΪ`SmաA/\VȄ3WBoE@.&b'X3 zߕxgEK9[wӂL`he:YX 9Pz≹R›jԴ?zH>UI>+F{o<+!.".uHZ g#*k _RWJ<-T%GU#>|ש d4: m''v\2x7 A_h*5Ԯ>'&tzUvY,?`̄Yw咷JPT[¾1g[F>Tϧne\ GF2bU+@& [Hf[\$kAڬ:;-+bHa;M  &Zg O8 xٽ[i =)ݽZwKt4ފ 1!esjLjWF<)$d5T:^0iG@3f/|H<'g;-؏qcY[+@F$L1 Xjv{=1~Ӗk& r1EI" xUS5e|Fr"&"]A(YiqG1Vv8zՆ :lB~!l8_uz ڔ/]Lfm$j%rDo HP#` ?oF^ l<˥(w$dz[hX%t=Eլ,։BM@QVLpseQ"޽g ?|^ƸEʯ'\:sE90zɸ{0?U7n03-ݚ!?dI qiY%`ZA)s"6زܢJ<^&ªrDJ-Q%<^;BW 6sM$Œ5#$AlQnҦ{mr 3^uRy?pg@XQ. z4.CWT{\ xi,XwmKy6[K`vOYVvL #sZ҆xutʳs]Uj sכXAa{ηѴBF/PhĄ,ڸઉm0ɇEQK~yE*vłgo8 Q;[ } Bysg6rd7kJӁo |T"5E~sIӎoJN*ȽB [.K_([xB^J!LJsj }mjI0L9"*Kub/܉< -:3`n0* py3mܜrtqPDqo+T1Oi{j_0ZlMj|0M+K(Fm/63Әآ5+[[twS>ٝ۲ 6"hVMxFqĔӿỦ2|3ddi*5j,#tr+7rpBM3afw3*N"< 6lu**ݙXUx5 A3\4y|WŦhJ8n821sr,ν86aSEȊ.4>™nFbT|ݚN? a-_r<-_ EBۖ!;8i~+V4g}P߮޶l̫t* *&ၗy|@ ̟7ao^'x*˅D>7 J6|Y>*4\*x#\ I#IBAew`Q9r(ϿkQ5.#QŻѫq\$)!O go$X r((:4'5"sCc#*M=fXҖ6,HdzVhLAU} S钭qpsˉaH5R>u*T(4Fw-ɉ!,֞(o`+Ij%sՌ!-sY .R5nh[uBeTڢ2f b,D&y7tœ4 9-obl Q|׵%hFjUaH z]8D[!gYZ12b6190c7e08c74d5c32ea6311ea4160ff18acac665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7