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  <5 $, ]/ HOL-Record_Benchmark:threads=6elapsed=101.052cpu=173.264gc=9.072factor=1.717zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24,yL&OپZ3ۨJ&⅚{5W U2$ZIwI;}N3JgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/g-}f7HfH]"df(1k]*U}YZ7zXZִF! ]ŗXi%6SrQ%3_뤭LǒQc3LG&P3^M r\eH5#:1Ѿx-[a.ʷW'BU)2k& >S ~URGZfoK\8Fb]ԀZf(Ðw+֑?ND0Y8_[ILZ'ש$`C*T}ԥ:͈ۚqhPVթRO!ɑlJÆᡐе3~$>:}LptF/+qKu1HLrc-QW%^#֭>Z_wK:vHچ 5.ww@ \jEAz4qv/UŔ5H0Ah`G,;g5.L뒉SccXX9x0"fbt(&)Hq^QJ%Pe q&0|TȤ6)|ʤ6IL MĬ! >[UN* !JՐ2~=KÙ0\%]ˢq%vN(GD;r" 23W"ZZ.:ךVX<<{` a b;94+H7Zͻ{#)"MGA8cg0*u{˥!z?X*E#al+j؏Fʑ+yWRjŻ˒ U4ԙ3/PZk=v^t^a{7;bIӹ ? %w^v;8: J`Ve={/wJl$EX5b'Cnc ^HK35  h/72u~]3"0 ]JU;hՠ>C]a$3@R >q`q'>O7Vad42Y&!\O̊0aTL}ul9QNݥFM!8򼌺{=z[1wIXX 'B'pwշa 7'\8rѲ5=;=EH,&ڱVN}GpbХ[˚"ke]V/w=6ѢP&ˢA:A3*){6V" JicTY /a?XQh,6:{2ypX:ɭ(c12],<^D -d* ]ŗ~~UUX:GAC*ْJf8 YUB٧U/-a[W t+t>/e6dC6xl'5~}0)Ͳ(PÙY]6{vc!e ANYmx1Nk&T׌)ʱeGt`#LF z)oZ%oIߗU.:$2rpy)B9XY=G5q0ᥞfVbX$ Z! v9C#lM^1:d .aElDy̎0ѾLFUrCy5iJ~bYUa/֖T`)jN2`*Pq\p2>rr.-qn\q#Qy +$'h _ .NaI?CL- ze*+`!kZ(դ.Ru ~bՒ/._~"it(܄WӉ7?}VqaDn&θGcvH֌!_nRp{NiF1yEڂ7_08 rCH߯qN՞񬳳6w$ǾhE>#3[舑J8څG.:HGMsLP0mM(Aٿ JLц ͌\@NZn}"on u*÷-J T6GB u@uՎ>6RϹ~4+ CP&X#.V &w"'Qէ{tAmޞ3|̑,i,+\f!z1͐a?KLWk`Jxa}( Ʊ J`N 9eGWNڈuCWź<4Y 3hGr̭2\yGM8 %(Okrpg*Ӓe pfì~Kj^Û(.zy0KPTeD)#ԅ\NHI%D7gSc#O |+_Fx`yOͭ:KQ84=L46~kFd j/_9w.}Ɂ% b&daXu1iE@L/2uӋ z"5i#‥[L낧>:?3"%G 9 43~5 1 ѥS $dsV EqɄ,!-ıgYZ5836766cc7dd1c88d3f0c62077ff6c84b2b58421bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2