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   c5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=98.365cpu=168.900gc=9.620factor=1.727zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2b@"T$8/(vlaŨxgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(wwh}GA~K0enuKP<U$%k]*U}YZ7zXZִF! ˶]ŗXi%944/! '7=5 fމwoz ߫epyC85qr[_$|fl A1fCG?/rcJ'9'*K>Nʽ70o8|z )@s%@⒜l慳.)̪:2jn0 KdDeaZʘ{n'*X=jLF|T-Bo5߽51XnWL,?<1'_˺ C 5 HOL-Record_BenchmarkB.?uKCM+*q}qS\id˜4\q>8_:ܗQrs^(plN+H976pl_$OOWh ŀPI~c#5%Dlmy6]C6PE6znGy.  ]1W;.FC2nqoPE].(L_;Bڲf 4䗸֔ĬnC,^% %s,GgK;>`E" 82AYd\A׳i^Qʽ ZvK"%3Y$g'=)5 ;p! g^(,PU艉u"ÇqRGF@3 ׿)(} KO^hogNZ7UK?#4:vDmpr ,EtdDU ^l |>:=`2GRqϗ)P֕ޛf+8w{衤Mx]g7ΏN&{O}/ ;Z‡`C*_XPq?4!C!TitcdzӌJB:$nt͘kmEJf,'6Nr34^խ$)%v Q;Qze~NAzAnwQx~|syU XO3 !;҅&,6 /fcҌ $$*?[- _TwwϷB ˩4<+!9[@׎F}AUh-k8z 9f\ֳ%ay}UY4YB>ZP \4>waCC5cʥ*;vzs3у$^0\0e4XPaRN "(QiƩ4kq),=K/4vӜ7r鋙ounsNU,u?5Ɨn}N)6ŸfdTDr^YW卙m-^; C.G*:{UfEoď3PI'< _>awmiWi8+Wq80gq*:u"5{EĚ[[ ;X Jx25z+۳pw_ȱjhGtg‘EdNP M-j %*uXo`6)Fdj㧼s(6o\{b%Œe(-/O! }xK47Ҏ*ăʚݎ3ʖUcjjJSAi/tY3b ()뛳,%cQvF٪~`ִ4o>ҖP{1fu1auTG߰ \5Ԥ}u2 EtGЈt$Ov3#>EB3ĘVE3vucX{Ā_,~,Ȧv@]!4J-x t@Bt^I퇕,A.]Lg(0#o;䟧TFf!u&˿ӂ"m&:N ՆE%pZ~jnLɚ@^Yy} CaCZNx|%1;ovvnT=?xD6iu | W35מKwH,h jsQt!:8Z9#Go gl!F DeqC"Wu76/ͣ :@h*OW'鰛9WcmҐTA, ]b!Z4[NqJe>)eK5sk%Rv0Ib[*kb$֔4׎xΡÔq <ˊp.Vvdfj~v<%aۃ3nxpJ ]/da|6a6! |ƨb'tmͶ%;'w`Sױz+eI<7aW[{q"v1C#O&lDȍ fu$zlaGk? `FzCC)Ao%IU >/W婠SnxSS#op|*7ttBqN7| b(*?@CTH:U&^4;UOjvD~wJxSc{P.$|n"Kҗt[%2 "!2`/M`o\">l>da8 .#HgN}( =3OKRbińFfVD) ]g0\ t,h=c11۽Z-]b|t+>|0g f [ ~Oka*?]g2Y?sb39%Sz=m ˼1f^ȵMct&52N/+ 1,㲣ޓ+DgDY XjA y"g~00@d= J.ey%dka!uKz^q> ?B^fo aķC#d4h#2㮦MlIdP٣=ΔZV$fO ZmpԎ&&*,Y\@u؇[wD/8OY7%=Tz(&t&LЫoӧ5Iq7xĂ|/A#4C Mhyf#wIWcRkɡuG-uq gGυ\lmTH݈ǬHe z&UąTUL)U8N? +[.@D({*Ycx#ł]k;zϱ0yWm % 3jv<Aiyz"n9P]"F\}J!ydWt\h۬%(^tKXV9؟zfX^ nj{ ΂J =@$`|ٟ{d "TL1F-678X/g;4F>n$,gjEaNlQ~MTgL4nԄz_I<'2I& PCSOo !$SJloQ xqpŤIՎ ;np-.zF5Sa 8xI!_6gYZb864e539acaf72fd42124855b53b00f566edeed83cff46c99bdc77cb69279060f2c6ce1d34c65856 81d7082226527c0f9590bf1b77046bb4db419c84