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 ^^ 5l4 // HOL-Record_Benchmark:threads=6elapsed=104.899cpu=179.096gc=8.964factor=1.717zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i%0d@cՃ끁&g8++"'F%{u }L]r~Y~UX6z;`co,OT\B-,a '*Ġ!SO_.+.=@ >4KĿc*i1s7]&3&UرgYZ7zXZִF! ]ŗXi%\느5.ڂ.c*4#Ji&#0i>\"E]F@هc8fn-V@;E(<:ϕU75 }L&uRW;;,3u(#I`Ëm܏In6Hݒ'^ȇ 13ȿQ.g,B$;Ip9\ ?cU<<W6&gt:G {K.l[c⤲` M~*X~'*7u%G͐m-yuU INo/k]"Senc]$*9g2|{QbIAI~/ͳ$9X!tcXh;};w/պ"]F{Z2jVQ/GR"+7,`E8;Vc>=}4)4qq<[e$, _JWp0M k!tsѬ`tH镌T[>Z!*expQ?rܓ +sЋU<%i -0@vTgNBRQZ3&sY*ޘ-«.r>7o"waz~s66$uLU/h)IVfd} ?Vowyy3,1{g10#V;kL+!L'actwr<9(pZ1^g8Iֱ~upV1f!*.UWzSXL9vO0_ CnY5W]XBё'p:բnAvĤ:Y4S^|r}B6E/@c,7~xPw` YVʸT{%_-#p;vڠd6=EOIX=~lv(ְs^)+I$^^7[\m[~tR2& fsRPo-[нWgDHZ;8 @)@Rś0$^hZ )*FV$!#i^2Om? ;3*B.{iınx=w`R!,4(g,>Q>/K\A?R=;QP]:{}]uvUDhX6Hoa/>PSh/$)N.Ffz5~B6TMZa`#K301$k̓Zb}$gQ 6sP`2FR1 {oǭ^dv,cvߩ #~K~p+iJZ2ⳘUBhGnw)=xMc.X2ui4-G/m(d3jX ;5#{ƀH|!;$ɮTS74K=VoA."VaJ 4+p43NWhbfLP6 @MCu]_BR?컡L{}Α-Z}hF e& {xbShsV/r#FzkByYs]%Vx+!}S' N[l)g^o;r9K(>#Y6ap*_P&E:;˹$SaKL%har<;+dsCly]İD)nuel'Urq(/px-0\q{=$~'Ԝ ss*fl>Bzx84US&u'EsCߤ=]o,&K"\= YA0[aeA$w+5tʝBǹ-I=hows8nO ':[XݴW ^岈,߱2ĊR Fw`D܂D^acz6;LIvFP?1ܹyس>E>sT)?X8Z5u(J}0t΅Foڰz!fօ+e8VpC_Mtۤq^O2ӉnZl6:,C@qATJhB>WZ^Dt`Ԫ0I. 1Ƞ7FL΅%x8B&ixH|$d|U$,:i\zK*'b컢:\3⩆ )pyvF󗚨 X/!Θ3Uz.Z E#*H% DxzaXj=j} BPA)6 Oi&wS] .7þPjF=Z i+7)xaۂɧdE``)#>g|HG׸&ёBkK/'6 P=0"=PHz{lK$ hLެRK#1VAևcup@dbr4k(қeMf%:k{uV Ò9 d`< I+ؿ6k=+so p8B/8(sē^+&g *kA&&_~cG gջq݁ +.-.[grW7~2([)E(@Z^3c%pe- s adW6_;;\ڜV=Χޚ'pT:4!(tg?VW/(h긒ja7b=7΀sF<!U< :S{y[B%/j菪[=fHIMf _@&]+Px|Mk8K'SlJF z^"]|AC;G.+> Qc#ȁ<{G#CU\XTh" ^k<*U-v6ZJNJf~ElWz]k0$O/޺9X`߳Cb(̈Ƨ-D gȘ / K:bl%P x=T "Ks}s!jS!L-ڃ۹Wc<)Wa!q:V:q55