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  Y Y5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=103.511cpu=175.036gc=8.728factor=1.697zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2&;cEP&UKJ.lYL!lVxgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h0!2lICppTPu'I%|TbE8j]ON}YZ7zXZִF! G]ŗXi%6Ʀ3':6vF[μCP +hf1?5pp~ߌp&,3uC[YRLf|n-:H!Я{?p <ݵiSnRv3Wk[bmQK;?ٖXu5_˟:]0ئC'r\Ld_J-"r[u44U 5 HOL-Record_Benchmark.x2]B:um}և+c~M9w\l(Qo=(/CyHk6"''FarҙxcjD,"su+'FPs@KM1G;=Ћ많?}/޸+ 07|\ ."@AJuXYTp_ mҋLR&^Oi.p!5BP+\=N[T YB\;L|}1g=CAM' Y If 2nleSv/9#q\K/g1ئlܮMl]rX?ȅRqǮN![ D8ޔ?4VAs1%[;;]P}yԔ˨nX3;"_W7)n>c7<Wu<ʯ'HM85Y h_|\/$p|^U9p7@m}Y7}Ѫ!ZXɁ7ǫ)Ȳ8% rO-nB"A-Bx$c2nl sIU@+GbXl*7~&3:.p r<Ⰸ|X/h|Fی˩{ϼPo"4sXK\B\D}*cF&5?Y0n"2vEX_}~#ke* !`V%FsQk*R Jto Ddr_챻BO%8[05 e-JA+JC/E]-ot|3z Y#hJ^$2ԊaBiIf̠{`2? oJ5ýj&N+%Vw'c5ڼeؾġ̫=G<[c NOUtU=~| @8;F{@ԕ]84 !C%aU3w[5]KpbfAZT]ьxa]{,lT-b@ѽ7[ V+t5߅%>-NHs6ZU9\ڝS&YSH?q$'[><4cOձQ*0ýzⱮ;:JϮ4Ȍe/ *0{ƴYy+ٺS E&%B79@8ݟhM SbS&wU09K4^T̲Kd.dG%vo ,O]vr!Ti2D؉X~0|(P@r*ݩYigq%0*cw}mFUg`Lfr-aj DXj:F mUs]V7d-"D(|pzdYwwVu *ekP''vyeAkSm.C#|bpy3s<_6aٛMn?h5N)q'$.FkL`,"V"gYZc72debbcf3b9300a328318a9358667c20f4bb3f0fa11a088fa6c022eaffd52f49e1ce4d13eea3dbc 4cef5542ae191d60b950c71717d249846e24f33b