SQLite format 3@ .  hhB77#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  C5T< // HOL-Record_Benchmark:threads=6elapsed=101.850cpu=173.424gc=8.724factor=1.707zXZִF! N]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iNGlTrh4qHT~_ F@M扴J,n2I+iab/OD㺙'zSp! 1ҕꇒj۬^ӗ=2X:뛶]@HMc""-jAFSd (gYZ7zXZִF! w]ŗXi%[a G8 %wV>7F}doM~<+^k۠;6~ZzV>%v89|!5݌ ؆㯬x<3VD5{(+(/ur}CC{9n8 znhd"M4Xݶ !w|gC[͔ձ?αfZ9,-TW0 Vok>GݭG]:1$z47,aM于=j ^Aq~8z)~S 䅂ii&WմUtgQX,dsMqa?RhR%_?WZ뮬Uzdz{ߙpp_0_I2nLL 5 HOL-Record_Benchmark-ʲ>ʽ$>+&w@U۔|-]5T} j<_%|}ZmZ!e ]#ٹxb0dF>=WױC:?M śbg!f?VZ~p:rL%c,;gV-HC%O@l:\]sڜuYFWf5l$T‰6,pT']TmeVRRa._aAIݭ;,IK;fش֔k~'KC߀V9`]^;~3hˑ)B5i ^D`k%jLx_ 4g`хM7:'1{njO[Yobsl.wЏd>+ԉ|Tv>M$z[qGJ rI;"nD%P Fm#!2oG0//e3*SK$PdkW}j)4٤"Xu>0&u&͡9-/TКq%758:$::"zq;Fᗷ(7BSYؤ<->}bZzևyւWGݪPʷfa!eQՑF9xq֮S-7&|gJQ!iAׁ:&‹v2N½`ԡ-;P 5fDupX D{peK">v9%i[UW3.~a~LM`[%/װSs}PeMy^AҚ~U_3_ñ~9s#=Fs+^v5gaEܿ|wB P^r:Ӆ v#D0-\Az< `){첃3=h3Hu1$^IW'ᒵ"6A acUg1"[ayAB9N*"@E&q}q*͒)kI/dl\/,eƇ;nB`#_@( tgxŜH&I 5oZ"myVDod]_jO(n pc@-,xBAop@,+Y%t6E'/Gùjs=8%58"lHFL(Hey cMňh. 9f蘫J!!N2cUp85ىZfp8~b9Z& pIߝF=%VnX#Cc!-LlE?mhݛ14zad3QwfRܴSޛ^VV%=IPW>b4m+` F| mv#9fҀv刟%/6"ǫуmXl1H.3td/5#t"q ~Ō*q< a[/r$[HSMɩW9|;ViNP\?Rܘ3 -BS/G_f~[Œ6vw3ӿ6~SZ44Lv wWkT=i- >xFywO>W+"hJc,YJ|zTX EB#$,CGZ)"$;z`1B޼VA3)q"g+uy!9y<4WN!v{˳)KO\~6n+AլJAh,C,.*MCHcf;R-rjꝏZ²u`Zx5fF}dT15Zy5^8WZ6հXR.QD_`Y jv&LrV 0n__CkتE;5o%X/2(֚OIl/.`D>K؉7:236G5L~݇D!.qw֧O42Cᅣřs'4PNxQ6 E,8rm+lĜAfuEa_`lfoX`D$Abywsx 1Εx|R otYBerX'pH|Z:aq'i踌b)5?U#gweVe FIܣ&uV­Y:+>jMfEZȥo&Dy P/oMUpةB]C7./ҭgSȮc=6oLoU$ӟz>'C$JÁP f*#Pc͏ 1Ʃa,[|`?!o=VJɴiіg.- (]kYanٖ.RrpwţˈDynu#-1DPUȨ.˚ė0&O;p?L_/ٖ8) 5#EYq+nɈ-{U +N ,2v" ;Owh3WN7s\-D(r,Lqf40 *7iυtw;sKt%v6թ4~R\, U$s@@gE XXE6'8j"Z+ yLtv6iyKinp`] zk[2_iejqCo òhz2 y28bL"}UQ{rsϵATM/׉"zlU W(1U~YN0J)ETn=ĘuS0DD_[s9Ȭ3_qkfJzbϺ@B $"2bAš}0ʹWYΣe~['mhUgAllT&nuoU