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 S5dL // HOL-Record_Benchmark:threads=6elapsed=107.291cpu=180.976gc=8.900factor=1.697 5 HOL-Record_BenchmarkzXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i{,Z+73yl,?)aPQ)s^# U(l-SD:ܝl^:>L/r&z2ȷC~u 92 ,l&f|{CpZ{;>=h\Iؽgōl0p Ϭ9BcE7'lhDM/8dLiAx>(U!>zN^ OS|@w[C1>iMs21GO:c')!/| T kR?NًZxjeۢDp$DQ|.eO>חo'ۥO+8UpynA2_NY0 ϓq%7C>QgJAaPj!w Z3ɉК|,eJTDoL~Ț&/Mљg_Yh~S?:#שS}OЂ:D`Tȉ5<敃ĄnXe)0z~ZR@/C]jvu_8( Kw쭕be/]`<+zz'<V:0 G[x#%4Am8#ܸc_w;R,v\i LlOGfsk8bQC<ĵ5 ^vwo$lh j&о=^+-GCAsV( J1#s,>> ȫ?iywG[;AHKGO>x×+1wl N߳%MD]f Ÿt"PS8aȓdltPn S)Ԗ+:Ԍ׵W{_2bYN oL6>oקqTsT>pK-:!scv=0bٚS=y e!ًQOsh-$6!#]?sVg@5gp]u|l7LP[iNa@gaZnh[_,/靜u@Uj b%tsWd M`@dG3-ڇg}E]nhf g nvB$X KN<1W_hÔv>`YspBAjWk#q%;~NjeR v@Ka"!myᨆb^SS,O2!70vRb2䢴+x@h6xūzH\s0nJ&:;ɾ+D(Db)ևrdȕNcX6[g>ۓqIQL⟌yPMRP#zD5)SyS'gls #27s{E΄AXj9~~EC`*@Vcߗ]T5+Xـ 2)]hCщ|G/Hh:o{U#^GV#cуA@4ƿi[#&?d׹ S==Lq,Ni^IG걽!Lǵnյ.M ub>uH#t1/qe Kr/ZÊꖆRSGϻ+zTN:^h:lej/AS$}/%Ȩ|mNҊ<Хd<D ԣ&I554T%@0_0/A\5 preD&^ڄ9քϲZ(WqkF. 9~{lLD0O`k) BFfL]b 2fx}%0YkCXnQ]D-;a{͠i`fףSWŨdIа^roPRv1U(WeYT4^~9,fmQ)LutܹZ^9*=:箳2䷯qkY+m) ~[o.(Ī[' I6 lEBEd$1NtX8$~&3#3cLJ)dB.X7 c8ȈQmr\H3;xG?6\"ߝ¢ZvDen9k9hxBBq}T};&=϶ƁOT{kJh5a f2q_;wIq[O͹/0b'c=c"&,t\[tumҧcOȠ:)3ldlTNv܄S2@8Xؓ IӲs,v7&#;&M䤹aXP?H k4^ K &q/,p8Y +~3@9"sM b$ O# @Ir4mJGZ`-ՠiNɆkg 3BBae6A^ʇu ZDkE쁵ehҌ'ldSyNmhY{kVfd^7#jŪ5OzuI<Ȟ,g}tCH*=񬣞CPc~1ϭh1~_O[{9f%uNkKCʿqF9&}m/"Az$,6T3&8^*IT tM1Z:}oMsl4IyG0;xKñޚv[R⨅fmhŃuQ`a,Aew~Q> q`7ae֯:8C*_~ߐf%uJ&IAtm%OrpNs/ mM~qHӄB'Ic4So2=]vޔu3'+(݇Ԕ:A'쪎w( .?#gM37&O@:n &^PÐs?}_$k'QǿULS*yEA9[ BxƁ9_ ݟi/sUG%Eg'U"ҼSM!)^L#;vEїn]5&eD_ΜǥUDn WSڄH >Hr }SSmwX_|<5=J;R$9ݶ]+ =dqXgu!Dvs e*k ;ħhSEvr+ШƔlD'/a9P ~S(ẋ gЇf )Qr|IC&`->kYX 46J1b̓D`-dw': y9:BśZ/NwU#~.Վ~BcK ,`r}nZi4ÒW&HGm_矖Av'yYEU,wK:.fN+Y FȧTwi$S{/>l&O-PgSQȫ-Uh肕ȉַMV*|;C]!@ ^ͲZ"J KSS#\]U% 9Xc-EOӔ0]h X {a^Cos>]wm,^3cNyxV"oNE$(qQPsU;{np`rp4X ΢>S > NM;}gOHOxk^\alʁD"7? !ymo9˚gcU0ڑ쨗~%|%b0lU:?u`s""2,!л-bKf?mqT YRO/`yiҰDF4ZMN~^nm)&*tSwUF%Ҳ3<@k~]