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 .7 $|, ]% HOL-Quotient_Examples:threads=6elapsed=27.547cpu=42.312gc=2.484factor=1.547zXZִF! g]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32OӥGWeR]TEM'iUhei6K3)VzM/&6О4/S>z:T ?2RꞞM ; g9ei{C9~sX#KQdb>{-&WRL.{=``}p;1j eGr(} 56PU 5J K/e46}Li_2_dސ/ɽ:EYIw늢ٮiY8V,ogD*FEСJՊ"W+7 Tdd 4doZoǼR.+?&R,jߞ e |oZZ@~G#d&o>gNn^.߱gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X'68C,P Bn?Nb"Ig&n"A&rJ9Va;hOucjU.kҥu KzVi6^"3iBj)0-[F,TŋgUb(χ9WC|͑"->hct,ླྀǚC$5gYZ7zXZִF! ]ŗXi%6Xr Q*|&f`&c2cʀ6U)חx:}V֝aegk֟M.'v'uam_ωj=ַ>ȵU_ٙ [1cw3=ڥOx 2DښM[lSRn4bo#Y!ANכЋhn vIE'+;MC.&}󿸟H .'<ۛz]k,i1MQރV%&Ͻ> rr ]]*h 8(ñЄafNW/pW@0ftT==Ha`WTv=9Ӑ0!I[S K7֝G[{B(-u3Ky+ga2yݦQu֏ *E әgdWAߚK|0sר.'1Fte|ga:*E81wePh- || u&˳z/2iTy\I;g TDdKtjG9'1 k]v#09^ nnlQ k]ǃ1Wiel2A /UOKboC ,=4A&B %!'*1R\ˑV"0yC^>0?{Da|qG!-VmfA*V`dRf8n,&^T\^bu Z&ԊȻzD3G˚mamY4\לڽiA[;=ŜPH^C|1]WOlbQ ]jE+ZR{)E~i)jbMUe tNssŮ݆-BGCtq'dE(B3sYg}@Gj9 n\=j]e觃Zk1w 8mb9Q) +.̥|h4uJsWJ} ~9POO5-0Nk Y\^gX QI_.f^} * 6I=[F6;<:CxÎͺqd|e.:H+BmGWO i %H jv˶c=TW뜐My*8i?8fygڍӅHNƖ:бah zSt-۽9= KJ&ljGcϪE D ̣v!gYZfee415818f96be9555d33196b1c592c2499425ee3427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 739ba60bd97ea8539b13bf45f6216df5d171165f d35a67872171b1b7fdd00b1f52b61e93130702c1 7 HOL-Quotient_Examples