SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 rrw5d // HOL-Record_Benchmark:threads=6elapsed=103.260cpu=175.944gc=8.452factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iNx&9[$s6*,jt"=*50k6UA=MzaT? FP{e%~\4_J0gLƬ]$Zr9&Y>TiV K.AhZ+R@4^xH<;gYZ7zXZִF! ]ŗXi%UP)ZsFP#eӅ'@sWΣ[]M]~ F";g$=%mCnN(cl"5klc( V o|"2,4k@;T:*t^qWbgH)" ?>h^Գ)2 k(/k1.%#8$,Ÿޢ}yac6饝zp(C6$ 5 HOL-Record_BenchmarkB&cpߛ3HjMXoS:@pxnx^Ad \'NnxRIL٤ECm8J)Iyڠ ANSJD64%iwx! @.jA :,i%9~}A)nbݡѨDBczt ^M W"p|Tn:oXA& [|EnDIO̵!Ymf){*dfDȸK>4zDUBU&Uz=pRaCF`-:ħIx@on7<ብ [JggݍzI8D1>.r%i=sn/ "Ě$m!&℆>Pz/CLw (Le/x=S(]:a 7A FՍH ZS%4!jfVtV] 2jm B.:08t.R40ȶb,'>R"'vf10' g5pQ-97l t! ִD".&Feuԋh.H,;0{",\OOWѵ(]*: DH'ʗX3p2 വ^b<[̭o$(kŗgMXFxN⠀BKJM0>957DH)g_f[.+d ѻ, u3< }ũ3TVח<2E:tk |Mq ɍ&H–I9^SEw>zVp`R;:sKY`[/2(93 %%.t 9HmuhUûxyaA>>MbڿnniW>nt(VE*& k* [S}7=f,np$PS;5mCNӭID4+ɧPtԂ[HQG2 x+lSc86KI*@$th2@j(=8۪(vt|eIAeB'՚rټ{$qļd5s8D;ows`D҇p\=NޤQF B̃ev1)'~ :97Gow߇}YpH\ 8Zf^I9+KЊ_`YL<P]ZCg^6QGj)Czj2_JвqMc4=3wf'%)kJ m4fXezD)a) #%e,A0qGsGmb"ڈKDҝA p`'(K=3A$ kBL`XxpuM_C+-n&vEa%oJfXG*;R< ҅w lf{cNPK"-`:K翷>ӡ'Qm׌I-4J4n ӿŞpX"S#|!zW#w"F%