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  B B35$$ ]/ HOL-Record_Benchmark:threads=6elapsed=97.813cpu=167.836gc=9.052factor=1.727zXZִF! Qy]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2-1z(DJW9h -x v:/3CLuٚRG0Fzpq(%6L\6]tJ\ 8$ 5 HOL-Record_Benchmark<żL?3"C9P2b!ɕ(a(v m₂vd.zJ Ygf*/Z_ptzO7clA |< ׽ dϏg'pӮFNjjPFCF86ٗi5 ÎC @L6u[lƧ ܍-X`2|ޠ.  ߉KNќ¨ yZ}/3:xFܛb WRG#ǯ( R$Iw7e%xl'Z"ϪZ 2r t֜ Wpo NWA,ьySUęx4GO[DP_I]LaYlYh"N*S duB Q+ʃn]ZO*?j!6LWCM|,!ԣ]Cm8ݦD/ڕ-[Ƅ]+t24vTZ˪4bj(hBZ_ 31g.#iǬOvj0'H7EPE@R[bUL*Y;tj63XCwiKkf$ 9@q/d*N9<' y]\zܵzvN_j|=^Kf LU.Lь#Z;2Vsn]T8/vpf18Ӝ q.Ӫ(B ܝʽ@۲`^ & :UiX=U.9V5K >`$ xU!dL^9{'FωU C,hqyxdh 7SykqSDAz:mi`Zs4&5KJأ%Vƹ_c?I?ASо"<=NsW '#Cq(RGUAaK܌ T^eBϝ.u#Ҕxh"bd>$4 B)-YnNc ,*9S#JOHЖ|k۩kVHp[)F\ic# xٯsN.)#tQ.cV>q-b. ӂ4 _^VX{eFƥ3{Pv? [?NAn!VlzV%ӻ4w4yb?#'Ɉk|hEȗ'rw9LrŲCNt1 ֥ BnER9Dd !;w)1 ϶2VfNP1q(dwюzvH(*@p ZY+>=_?Ո(PaBAްw ewM[]b+AGi&?u aU10IeV]Duk‘߲c,ب3T˘t־"uY{`^Q&"R_$?@_oZr _Y!gb7P3p[lxПrT⽏teo.BJBR`<.^4Ӷ$d*N% U-hn^sq= A.>^\IM(u>>L|2n>eq&T,eDz[Ⱥ^K4[+#VEz ^Q;|ߐ./t4mhq({>g~'+fܲ =7F\Y G5JBqc~ݖP `q֥R^]1k;M Btn.[9ɂ4iGlnak$O<R-1ڋƑS_7mMYUtQ қ QGm@.o:q]Ruq#{kD^Wno ⦟wϫ ߖ'VWhb\w 5j$W <ѳNj}e,}`܎=X>H᫄ѾQ[(%s}/Rv4X1|vO*0ꔼ", k&r5Cj3Y$4˩A\,6eT$t z'A>̝,!o +r&,_Kw_qyA'ڈH TԄ18ULU\)Jd?,n* ͪ6>.{`½f)g>ToܤU* EBpkhhMsPr8\dP,h$ Yb`ѢM4)NʕuVvA?2r-v, 6Y ҘHQ%"9ZqyԚ 7T>*'rz1d͑h"h64b+AdTn]83ҰH+Kh ?bLe_4/lXcV7v'Ɯ_u<ňrUjlz©1%K}e v[/lvH֮$