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   p5\$D ]/ HOL-Record_Benchmark:threads=6elapsed=99.513cpu=171.016gc=10.040factor=1.727zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2SN=!5 kl`&8xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/FfkjNE?An҆83VVsRb<hܭk]*U}YZ7zXZִF! H]ŗXi%;ҘdeHxJ̈Dϡt.>G ȸ Ա,r9hCz^0o+'ˬ 8X&Ǽ-#8,,PK"F[bǯ?TAуn~Po\>Wqn{aJrZ&(Ev:FKeYE 4!@H+sl$Ǧ򃒙1Rf];UR7x<`E'E:^I @UMP4zuAD yza=@xZ5p6 ]?(Z 5 HOL-Record_Benchmark׾DWe?Α zgRbX':vo!s,A"VѴ! z x'|)HVԮHmd?cv^&εFAZÀNQU[5&1fuC.|\f^i߮/0wY!'|%:KMPKӐ|6kFdVdD㷲y csie,NiE!4/ugL÷(ARcՎ8Et< [U+!m WnjXiL~B!< ׂA9ՍЅ@5F MԧG4;iiiU8dרh;~nyX953OKW+ +(*^TF^J0/?3LUџ%(b2Jϫ aQ`?KmwjB#3BdvHL?'E`DWP$FN|t_ S`Ֆ֢ZRwn+,df @G(> #|3E3#%rJb4A#0@RQw:H]6|,ZǃQ'Jp@=͖9zBc7IO,(o3A/J_,=p0wS_0G6-EQ="M`b}ҳ^Eu>uK:`k',?tCɵV9'tHeN_ȑy\T b`K]۝ަ_ѼZ K=q]ӣSi7Iy [S7# 7v4 S5Yo}NvBv0{Ͼ^CYxGU8S]uIs"$*>@rmO0$Mj C9hAK]D9N>F$Om1gC#[|Fռ2踕u S8c/9\PA4S%.*9ph<_f X)(=-6n{^WЀd.Z1o銧]8-&zO6B.lJ]yx8 r!8\% qQ0"O%қ}/0A'bRu~:ômB ^݂QVqTR B[0|:bgd iB,8xIQQI,MfhpiʈDͯ;W#ajb0I~@QsB8kt4I8]si(D^GA{l}J+U yw \SaŽkRaǬH|&C\f$\F'V6_9{p_.K"}`y"%E6a1V"0%3ݢ1 0Xߗk(>śe8RsD/aR,] sl-C'״F?-ݣC-RY1jn?d4JH˖. +AKLt=I'rX!HzWV><װ2(FCDA}E^[ 05;>lL+F#T;qwY;o;g;Yʄ #q7<}?= ;*p"i ?M>(4Vk KdM%*?' #A -k !s`8G7;Ź|s ,{S)2%I p 4ܚA@L 7EZSG#FIT&&c&mm ybJ_s˟l,D0om߿պ[VDmg׷m"; > 2tM/>&B? :o .RMs"{WTR;Eqi֕ܪRA|q b-ĥn7x%JyV?x1_?)-׌_˕&mxۀKe)ȓUbxޠ5 uv jQLd6  2qʱC⽛o9/jK%Ƥj"R_e]Ky>h }ץ Cc<+;ʎ)w c&-=lES?pA$/[+E+hZ-*Kt.;>gd"C6e_mZ%M {en_|^n$CkisXiC+qe ͂^H!$=TojZWWPRME]Krڻ(19VkAG"FOao\|lFbƪk\#)E*ˎ÷MB{#\I cٶE[d}4=}i-#t j,VIn"vhnfM"3OKjr!Dpgʞ74xÚ͋=~ȇe'e/3 φ,Zd kN~N]frrm%*L$sfmCAP?l|ؑ 醜]NeMw`F{<t׶J驋d$AQI /kttu?íE 6?Yy*JBԶ;{XVq_N´x^xeΠY2-jZ H_1(L!וЦ\v?:g:ʡji, ]Ʉr fyqTWBo[_F-A%K%xek񑂮iRv-"S*\'M>wK.kO*T􊫵֭Sg1x9E˒< D>Ju;,Ӓc0'10P_O /-2؛LsVE6<:ɰ*EEl*fXNȘL),UE]3~b-49:;!?\>\SH>;|E.o,x (3qvK){׀ I ,p,_3}z:bTbI+տ[JN]rQ ;Wg1#aH`T-NPܚ~js>"O)ϯ} (QP.Z/oyCٲ`Xk5=RM`l/;h%44UYL=ABc/:-{@Q?ɰQ"݊bDrXeZxZ@RL%jkF Zrx"e9a`k"-UVg1?ts%~?\$sqXmٰW3' )DVT@ad1t?Y.ѹE|5nҭ$vwe6  [$4Xebb>Wx@ -!ymzTG'$3mpbg~瀠_:k膻߹Wx"̠!ɜTjCgYZb9d3780d0680a2bee4e7f5fc3dc3f6e97213f72376eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf