SQLite format 3@ . BBh77otableisabelle_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  O O&L|\ ]S Real_Impl:threads=2elapsed=64.203cpu=106.296gc=3.528factor=1.667zXZִF! *]ŗXf1-/6vRZ*_vs(}L)WC nk`]sYũf*]CȮ~oH,.B8~c,~0^BԞSoxr38bS'?5@ SqQC0l+`d7>CAnek;Ah+cOz7g%GJ]ĩu?e:1IZJo1Z6Q>;<9ç]ڋNcAZUA@|#2׍ RRTiIpTxK4ɳh佪;O}ulQ !@.tW):̔c /Mz9+ׂNdUbQ==y_y<\5ڿ޺s֢~!b"67{~Z̧1^`w͕>o1h$ bPW%}x̔A?bWrÌ DWYi?8Yۗjs|:Kh\՚ 3|A&]7Lk1՚qӡ/1vex?vS}6dܴ}ܴԈt!۝[1Y߿4Ij6# 8~߀5Ѝ6PzDj0/Ti.o:D-nh_@"ctoF> [z46g} _gaF5?Rp]_̋њvMڕ-/=>k=>6Vg!Pϐp4Ė:d*k>l]b! 4#H4$PV/SP:3, =:>P&`'gεl NPl᪵"Aq'ˇqp*ˏ(ly Ie_齔b~u:P>u|q|3`o($t[;]iMp^$["Ccwڑ I1vEʷ?kxDN|<л#w%)|Uy1AP_ɪ7JMφ̑T]*73 U]ygYZ7zXZִF! Aw]ŗXiɟ|   Real_ImplE\Ât+.*aphG)%uGp1E6y~‡1š k _ @["&lJ^3Tճ`.zO+? nq+Al|^Dz qN-W7R9G!%eP4hYS11kWkY.R"ஹ\U (~~bovK6ʯZ(%[.6Тya^~2Aq=0g3"g0(wGʋY*赫뚢E '#`tgf&Hz,7|7$&7Q]h|X}&0"!:. Ϊ@[fq=`CJ@սPͱgYZ7zXZִF! 7 g]ŗXi%;9)-k '  p7L`b mEÀM'~ ֶF/ GJ8?ӢFe<$_܊k?k/>fFRvn 0.;2r1Pc gcضO[f Fwd@ Voe}A鮚 ÉDګe[ Xs߮F G~RcBxJ0sjySYNh֞LU&8CxJ:fEM w3-R 3YkF sY7`ZLme$+ !}u%óAYeNdBGZFOK:/Scʍ@ZA>z[~Ռ l(R. mc"5R9 p2_+_M){\NV8_.&3wǬckd}-Elc۹dq~7砏;ͷʂ竐_MՇ")fHBPȟvK~zmT,7KrWa8; ?9jy_k*{^,&`%+ &m}ݘHYCÚG3-z{iF+-Nî=}DA{#阸%^]lVC` 1 %\a |g6S&CdHz"=zn`>Ͻ#şywQ_"#o;jhjܥu5zPdյl/E^D^1j&*(ylL2+β|}D9lM7Ytcxy7WF*A0o8Gd{P NǁM5% ͡%v?KK°GSer KXއ]^sΠHygWHQc0d:'iu\`2rQ_ڴg1=ze;%1xps!>!"hJfw)m- ΄UR篡~Ys 'Q QAW#Rp1a,NR)i@ W(yX]9r/|ӸBͬY!?aMXyI!08VL<dU.=k2vm\6Xe:B1Võpo'@GnTdg&A+c9s(왿GZ xy975XtGմهLAO0:PZnBT{0~$IBхFXk n~{yTSP5qSF\;^{(VDe\F gPUJ lx żMСIpĒR# r|HqѴd>dS܌]IUKXWI'Lt*ȮiK\A J&*8͎*Y3-! хf:s[|~T1nt1&! ^_ h3VvJ)Aپv@7O3tXelԿaÇn<͞M󑍧vzw~-̧i2Plo𱐋fUؚCj܆#L:}np<3;tԢu8)qzO,blHi(n]E#yvjw)* 劮ôoc6 );-v?}lBqP-=N|\yANJ@ضd󨛽_.dnS8~4GLS cBʄϔ0a$+!yQH_.)`?R,NK<75F>K8nt_Rzo-<=|m.URnD{ˀ gzR}q'4zޟA2zh ~ZKX}W!ʃM.+Up,g?R:.4Z"kU<.WDŽ6뽕tm֡7L6G5RdN*V%9C{0鎋ώKT2.kO<Cf-)1>%x*ykȩu>0-}G@0/nԫM3`s]j7Ĩ#"ЮYt*O-'r"ㆳ6- .}/ئRG,{.8*W<+U.~ϛ j(Y40ftY zÒ5OYݾ-yhm k|PsL0mԈUT䤟Nbng K4}{U tOe]NHgsUwMv\΃=#*J 1ƈ35\bhk4qSq,+309>CdLE,"1eBcfUYyPM2]SϬ)S-Ij<)9:07lZB!7,[@}͠3ΎnpT,ic\(sOYЃ>ll7|4Y\ZT, >6,]HN2VY~88 NM1´Nd?k?1:Eڄê"I߳UF,q9́u$&5 Ì }`-G@ڮ*2 #ŽixxRߎDz|I2lYЀf~5'Dt)өxU,_-2 ;ͪϬQh\MˋRH Džԫ~J_r${0 xj.6I&[K25M/ ôq|ޘ̫0SI:F2v2n|krMpj*c]3d#n0xdL҇5_y-'/uoEsL@niGՁmbι1z5U|%(h9 SUo$*hLUIk(Xzz =ΠfT8qm:~ʏ@jU4[_ه]XtK$BI>A\o*4BoBfddt7uZj$NK H|2C橰1vv ?mxgYZ1739602bad34c6cd68abb7c610396f931a2f8a1d19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf b7246222e3a4d52ad04e3c7e0905d75353f7a306 61b674dd97daf49f64f6a982daf2c82076500b84