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 K% \\ w]Sepref_Basic:threads=2elapsed=24.309cpu=48.296gc=2.152factor=1.997zXZִF % Sepref_Basic! ]ŗXf1-q恈NucvAݪ4 c?[2C IfW6{Ydٵ;S߽uKYǵY,-Ж- gtW_f'bGac<|wY4ie)s홎 (ZamV3SÃ4%PMv~"$V`ԝS%>mݬt F35ʤ2C@p I]|&2d& -2dB@]v+-;$R{9 9t + hSs58Ù7(9AX'c2yoYE"Qp@{].łȌ"jמ]Ƈ1QRUq[|rUe i;wۅldjO;P6_ L*+ GLi_[Deu"fbfZ AbB󞬀 >(tZ"kĪMUR,R)>NkZaˈh~u+[訞udԺ(Uu7Um$*:?2b)>bB`ha^7"I1R$ AJ@\:͈,'(L?!h/O-;wAI5QsݹVHpF%bWND oJLP)=.k~| 5[y'YVh*c:YH K>RoRN9}[WJ~abZP`Y4-/1D6~o4$?`{Jju(6!,?='wI"䱔 8ZqDC?ڈXZ7H'<^Qw<:fۚ[.4[v2]P;]f j'I3bYIJoS٥bֳQB^&r%= a#<o?2HrՈے(1pҙBsM*G\V<s­ЁG *$2Rp%$)t0qkQ!3Ӈ1y&=^Y"ʟ0( K>սd#DQ5?g U "ؕ6k2Ҫ +H׭p3fnAF(|hז˹ ,odY" m'?9{-k:`mǸ6djr=gW.N O/]~cO%CPO~aN7sFrU91C8rc:8tS*?՛r6,~*׾yr(8df 81m FFfծ H n[BKnw,|s5D:}rjo=5KYI7\4F!Lmiʶ$6eí. jĀ)|b%HK،ZR'H0v*?Rlҹ?_3IK9˰B@3޵[YRSQE.dcpW}U X|&t3is.)[?RE_8"* KArT@ۯ-,`E g ׈走J pp'r ģ :IqʡMor2/2mv]FYcX.1U!AlNc[ǟ7]7ر9V za0M>}}qDiرKl(ވ/eo-myWV]@Io]&0-[b\͙dFzf$Kp. (--:b/Mx NE98L(+<㙣?X6(Qϳ 1Vl('e"BܪUrup JC͘-" F*j9և4դ/G4<*a&aQpw%SIL~ze{HSߎ {U9ǔY&+|k{$Ke$I }+bӲl\:_[nvFVe#%$Ԍyf>v~'`bDԾgɌc%*(qm~D[{b$]L0p,'K" M0ZL{Q-<311"cpsƼ,BBq}wr8ޤ]af 1VTP+HZPv'6zEGxf_o$ [D~7`Y+$l-$e[-]qD 5]^0lG118LZ'Q]Ƌ6uY?V)#Hl/_q,22 KX4LF[ } $0 $^D;^,Z-60qs֩t[MAONj@a;?Dױ9l0tI=کϋvldjAmȡ]Kl+Uv(HgC\yf?CRSąSom [06ġ@~-ý;m԰z6xni%kt\(+uV evYmV2&KJ SqI8 T)P%4_pGݑoQ7(C^X~G7XG^\[xy L慉a{MʎQɖJWϵ wʬʧ !_m6o@M6x5&+LhP֢^.IX`!\|g*AM-$`uH *IJhϑW_^7Sgq97V+x,i1lVjCfO ln)ș^v(mVOzLV~74:.7dn'FܜsmrU2 /\3705VKd5힝ȖHuGtV<_H f6l9H=u3jY~e7 &b.I..k>P I"kwݥ&H?ܵB8(A^~g:Ě7 UNVI#ueE-i-yİ>Mb)5/`O,iX%;gs+BB]o:4 U8 OtMvFy_Tڛ΍r׈6܀^Ŀftv ܵS}?XWX+bPw;3c .zc3M"}+wPjg ^h9C2g[4碵jRڢXd#Z ]ZT(iF@mI1MyU>=(SEfS+m\B\5#v{#/š9&b* 3r.!$fµ:r sMd?&m.)ˆ@dB_Ц/ `Ѭ"9B~,-Eib[)bF6akCa&q6f{|3*/7UT X_\K!哃co/x%d#;qxgG+O @ɣ+*_k>M191,4\?n(@G>ʭB2xA͒SԬ㯦%hM6,$1gYZ7zXZִF! n(]ŗXi%>)N;TFexKÃO Mj_I]UmRʗ*Q'œo_7S%s]fGl-C@av;b"r`~QQ$/f?o#f8D4Xؗv)1k;dU źԊgB5榆O{x2]rkݦz% E`3m6.K7?/W+kmB]n'Н6diR+E98NL`s"SGZB'Pt}1 ʂHy_V!ypT4Hi?(Ak A/N1Z0}H_8S5|BX1d+F_9MT:[*5 i 118xټ[O_n;C ^Vn@ÎK5 ֵfE xYxUCݒkݗuxWRbw Dgq2o7j&1EZ?yX4We1$56l=\0rG<Ք u.!%2Hu)裱X=\ML*KQlH"CK=t4ɌϘHX-sk>-/EAR"d+}:CJ&~kҖ#|J@YMd0q8XnixLD:8;#Z a| 蜇"@}m4/-7Em+]U9`9{-H 2R 6)n8jܾ16dqoا4Ƥ@._{*U/GJ&G۾!"+ľml)p:!x$I{n| @Jrhӟ#`;Q1f0O4 Sc 7:HLު˜Y.‹Ot`aT >)@NVʒ(~pCۂlnVW|VUx\=g4^ج]ޕ3njjdbCbZȸ4 %nDmMvͫaFyNTJzB&x lW`uWWŒ1fKצk^ r vpE)v;LՙMw Q3BFVh\vOO9M[nBI\ UOy;Alj 2 qQo>̵*;}%r ёT:8MwEғC