SQLite format 3@ .  YYQ77Atableisabelle_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, "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  x# \ s Rewriting_Z:threads=2elapsed=25.388cpu=46.900gc=1.944factor=1.857zXZִF! F]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`bo-sf9 Р6`x܊S7 8p5@S@LzI AGݟ|.;lizbU2hz wjC9 fE%Knf?-kmBzȼ,6q{|mrVe7:p6B<\1Q QiEt\r}Ս@lu<%x3І՚=Di&Nϒm0LUBvAHY84œ-`lNB,2?ӀÈ >/b2P>)b] Ҳ9>8yxȫ"1tXҍ:>:{󀦤TWYD!S3SdVJݫA]˱eݗ^tl0۪:$BeybNt yUT*׿ Yu\hDKs45*Ga0?<5LS9 YY&=a/>{ ;q_'>Aa,tr5Peg2#n3һv);gs qp4ꬷ4o5/ϗGUp]܌< +[uIenzmn*5{FK:zXp Ӈ{>JiCq6 q)uc`YloUq\.KC^+YɆZI~k) 富Z.%h8,y-sEoAInD{^Ƚkmyvpuxpvl-u K ^ 4n*Aۘ"{ 5㧧s@_ }n#l7ՙ%+<̅ds/97JV=Uk!;9гu@(_쏕PB ޟKxgПUJU7UWM[/?Hm9~U>7M/xALsMЧBr |ߙ1L&|j wXSFP-]JP&4)﫚Oj|l7eNǏ%hy[+p ^+"oq%qe82KΝb==t]&?qQv%jR~V.UƦlNKn.gW,2ж܅fĞ Ѡ<Ջw3//̫F®۪Zk 4iOH KO :P\Q)8A!fh,KS*TcMZhV'H03OdmJK.D?og)x39_3mߘ=mӳzMRJ{zlyÌ}Wqd5wa`xǰq6 LZc)E3a(3!f妾6UP\2< @n:h_! [fzn,Klh~lǒA_C+ 14S1Tcg!??zL+{v*NZ%{8]G%RKG)6l2X82 c12|9m[7βb!k0p$=Q3&dֱ*;S?]GBa`jD^%Kя5bդe+s([gN/ܾ ᓁ;vǹlրJ[0# 7Qj1GW Nj+\i;*& uTXu"=ASMw$$LhD߹ÊiA%B?Z[1x%<>6;!ډeFMfC(8QwD!#=._ɺW&PL7637xiMS61dBIvK f=9G+]1_ ={քD xſ?3ѣ9,H>8)AV聄RT= 7 2[[G|mngQa+1zu]dV.PÊ:ۧ4mbk-z.m_鰭k?YuM\3K 1Rp'K]ˑ  &RpA\|I8V}(UffY50SWP>JAÿ.bF;e.<}1.J% et-KJc&~ӕ`\fBPi ucBr$D͟-%!|poTqH&u0BRՌLF{  gYZ7zXZִF! |(]ŗXi%qGӶ:flDźdx<El%rgTqdyVVV&:^8/j|̮'UΔU6R%j"$XYLʺ0j5$mTnw# ?߄AopWUбi7_IVe (``鹿ĥq-ا,/r`z*H W䨅Nv}ӆJk+2whUf`6QMa!ty8?UxS}^Z{ߨ-qAgfOܔ "~[bs_;9U>N$G[]"WRȈH;mS4,T/K D>%VM?#SJ<]DFigOzA<6l0$rH2{Wə&%,}j mS|S]jgى"NQj@~s6f">m _qҝxr/)PܮH' ,>M^ϲ{oE7&_vêcwQĒqcLsm>h\7/9/}yok+;"g*tEզ$ƺs$ E;eF(+kW4ZZTF3:KvybG\,y"p8yS .sJw7E$E,.<]_ hc ǒvXkIUXv7f'cNbwT-X6yơ XB"ea1wiKT| 9KJfR,J8 K5y+pj5Sz3U[8o46ѭ]Ή's;YY%O\^|g=&GD1#\^N.DHuZC}B %v9g(g{[3ȣ14BLG ^7P-BP+Ln_d%8_ y\Y!0l]r6g{< ч/aU#t{J9HԀlkæܜOe<|rVkMЏ%rꑠzA4([LL ?+Xܦq^1'A8LFۙ#]n(91˦.L݆n5/$"KºĦGʴ)Ubd.A7:bGZ5[iO9T50:Ư{ֻҵrKIy  iS40M:OSWE-biI'V%\E" r{Jg:erL&,nT{1ތBb: ݍthKzv-?myxk|894W=]ub ӉT> "τ#t*Έ"wl VȘoX+3+qe"[4qP<+8q&;sPveD:ԷCaUqmVyrQS*Hq}qY#yju2v:hN@RUהI'} 1hfG?F?sVb1)aw/8:~M2w@#+}/p%Xfbv $1fı Ӳ 1AaǸԓ$ GUzЇ|C{5nk< awgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5d01777da1423275eb6b66b5ee9b1c1d0178b502