SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 L- D S]Relation_Algebra:threads=2elapsed=25.972cpu=49.472gc=1.780factor=1.907zXZִF! $ ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgqׇ٬/RSFmngq:!hw':-߂.C3˄3Y34XU[5Zˎǰ(Q`:*-N6 w$Ƈ]eH^UeB@qVBǫ@9 i{w - Relation_Algebra/ vf)?{΂$&ZEӐ6[FŷZþSXk6l=V!"/0uiϲ87,fa_jfDrxy#АRhG8|A|Z鄂\LKg:g큣|Tې.zO\py|jJb ڵ*)O.rR,1r:zHlqA ?HX3u_҈$1Ut2>1ș9.5(nBaz74IYQ(=>3@8p shMkqDeo}NV>2|t?δE15KH1 p\*;lq^7j}y|i3bSd˗'=$Ƚ=M(e N BR#'2v2>6im/eD4W(4aGz<ÉUIwVAJ^WNt%IJrOc>u"|h6.2wk+h-E*i^n0Ϳw^c O*Xhl1e2bϴ=fnoT"B Mn"i8OO`3eܞr̈́ K&L+<&?̷pV4a+L@`, f#x.X”d]*.>Xh5<~X`|E8 4˚݉猡r0 e~=gAG#>Hm9ލ⻄Hzx1ZD0O8K5Ao1glL~w.̞Qωa.]>G9`ux!:ati,[Y?BR׋.ewODxj6OU8{2Ptf-F] ZjmՕ|‚X 9z̽j9<]`uoO8{$woL 2N+Ì<]yvQ0N6wtBլ5uH^Yx \?,4#flȉ(0\m`D[vwa.HQXRZ䢑Nun΃^4;&yA+gl 7jNN7^ ٳYPWRP'9 ÜP]'kf=q ,+ tuGbL'cb b-ܱfXa9?Xʓs[:h2u #jv!5q7E4pp;s(i+YB~sL>gԔy@#ffP1ƿr]@ ͤ_"WtH+ "옳C# 8Tq;zf;1my}w(Mt,/ޒ'{s&+~\e#;5W.{ƕaQП?ildt͗(qopypg-2"K$⋨AL\s~A4"ך_g&Pɱĭp@s ؉n!plɌHoT@Vn 'Se[sӫ+oۗЦ8QkFŵ e$Kgq!mK 8oA!~ZWn@^0!|R(a:1q!+ w煥a<JԽencROj  ЩE >!cIެUhN.<i$5ɕ$m7'y,ş#r?g8GYsۨ.bmPO8Xex@ '!'fsc+ZhAhpƠG8< *# .34𙿬)ܔCc'Rƪ&fwgkɺ|fCCh&>Yp @X.`_#̔kJ*+qUP&kڼ"4!* tQBm(zՠ˵@%lfmNPc9. ];Bx2K[#U8|ux ;d|;'_pGezJ:$:YXzZ_a `y^TI𢼨k.[zMw!5gt@)%k=(kuVXX6'6~\<ӆ%u4lbjD^#էB'3JxaplOwEйÕ8JC}ՠU-hD l!STФdaX+^ٜ O$Z;e#B Gtz"Nammt峃k57@!ګE9zA,w_NCUoYq3U X#@/Ճn\Dy>3DM3;Ct~%rVw`hO"צxD x1ZpX6\rҾH˳n^n[h*}VsOp7exh9lj1He/`=7A̦Q,ŸR2;pjBZ_\"3&0> i#q+2òN%H&i0} wHIcdl~;Jf2E\X.Tܶq03\Bs ^ )k"8s©p#L+0O`.]"$:4c0#.4lrF\ gŝAk-&\Gzl7M(cȘO_QhY%JjX 1:QNKAiaRM|qoTO"/.;W:._lTZU0 X n@Q KrI͚Edx ^$@Lw\V;wBmT:@b$lHn*KlV@9<1`)8VZ+k'e+&c0qIw)3h54\Tv]QžͭqII[ˊޫl?S\e؜ :Y-O?gT]!et_Xj C& } d! Σ.UwE ʎ N\)g%Zk_}cO[VT`}0,'mG[s&G-KGKöXQr,d:ķ kyZ0e'>|`J-tN;x dD^s`lYe@@^8s䬍 M.!^8N]HwH#g#|RXJ%VW59z0'6-G\\og8_JduGKUrF*șn >U;:=@ku΋Cu8K]Ɣ|iFs9]CxmnjFp%D}\r~o&+&Sl30n\Sْ.sOD"j,6̲^[K97իDt3ة ]?>A⸔W6LBP Dբ2R2*{1:R7`DrlZ5Dz㥨?,j_6rgYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 754cb880c1e7be64f08db47107f67d5d77eb52a3 456cc75de1019b2d9565bb6172ee44bdc6073d1c2c1f7cda46284216ea882c85ad7092736efd008d