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  5,$ ]/ HOL-Record_Benchmark:threads=6elapsed=97.739cpu=168.544gc=9.144factor=1.727zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2:LEtȀp/Ql~R8VCk|= z"m yY=IgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/(< 7mR 3@h^0١ `btBT5QCN,6؛dI%8pX9g(& _<ˣwz"K 5 HOL-Record_Benchmark *]֎չICɃ#) tHBL3^폟q?=`ps6ݴ{B ZNR6uPj|."qz g^f'y&m,،j1nQ [(nSu&t@#cpԎ)7[cHUվRoyD-$h:}PJt6T$(O Xo+V˦U9É~}gAg\d Uk{ )JiX6-o>تU`9bѩŬۏ&D.˷89ɛsLK x_ @k#|$4?+M2Jv2\R ml˸+OD Ly{Xm+c#ekOb~$^rs["|Z6u[ s obp`[s6{)V}c;3=,2yLmVI|<%~JEB0/yUr tqqgT"r\]GicBYTj5j0EBrVȪcԓyl`M %a&X o ~`W9wW0pEWh^,DqY~DLgGlg,-￵ޒdwڠ2@gZǏh[yZ2M:Qƪ.=G=^]yw_&mW,&M"C/߻z Xb `ݯrt]ELFkKdG^t TQh is\ FCd8̜q_w|]JyD*>QyឞxD4VFi_~kezgK 6X% ]!ij%8&Ԗg =|wei2*>$/WQϰ|ҺzwicGY|7x00a%+]q-tрRЮumN$p0W[2z!jHrXoZ8im?ʡE\_6j5Oy{!J@YzA#p,Z¼#?t| 56*-&/Lrj,.(}S lbxz2r7Mi < =v}?o7?OءZ1.]cOu~4͇~JƘZv{2GlP{rL&Jɥ C5 _.tF a)IEy(n;Cv$Hd̓9B_+F)E~2]e t^୑J!IdĆ*4 \1rN%\(j~*N `E/<){Xv(:r ذԙ1,;e- '.f;AȈLx 6M`Y >XUK^ӧ5:q(Fg99YCG-;0~Q͠3wv5)BN2oN{;:$W $k7V\+]٠rt2pcBa|އHN^ XqE5ZL!V34)/id1|!Ł]> FkH.Y;v%{2)·'~bI>u1-q0~%"T"DŶ=m^пoHUL=Y>_5KTCooZ9WDTB7S9$d |^+=+l<<*,+lrz/| zU >Y*GF|f z=p&A4 s ˿;ϳ3hf1욚-!/P934ījrOY亙x:.@}tHa z㻽U JҒ Op93y0.E s5FK[1ɎQ.Fu{Qj+ioerE#G7:@uAQ1%x\yM…f2ͦGnNX!,)m9!"mwN a_aV]hw8OZK+n^~J@8y&I۔;u>KO;Ity0{^Џ.W#Xz"Y[#0eǕBH|5zNyrn o@WcfzaG[aȕ仺i"ʎ05h;Eh?:E~8 #;:QHY@`PcTha0)Hw?tUNlPX˿fn~0dٮ/H(m ~+zl"8^Ygg&,#8*gT~i>J}]. M_nQ.h94k_X/˛ڏ>ut?D{T8YzhTPSZ)2j _҄$&D<yk%ኹ(¢?d<~2IJ"*m]ht?>֊r 7{cV?Qrc2KFћFl)QlǮ*d[duƥ:/ 9E{ y2!yk{`Ǡ^AC,2"Qr7P&} l8lv`/I&e_ݪLj[LyW}[J=YHD[0P&>$9q%sW^|2 Z>F I=AK[)Ww$<`@Κ#+rk2yuj `sTNvϬTe}\>^!Pw[&}UX\0 ;FοZU>\ T2'Cbkvs wʸFCg Ա2D=Ok&Μ͑"|ͷLzY]}ɒŃ}|.mUgc !pͮ[:r}+v[mai &Oq2!Fܫ@pD왙;A?=*L/,Stn+ȼe=髝, VTI|ny}^Unf7}NLpPftQNZ3b6q 1PV& ipntzMxot]zwi(`/S,,awlÑsB7-+^Z1ceu畃ɋ͂??Leؿ@'h%z&\2}D42 $u%*3a᭓|ZԚ1_+/S#1]9XL;;={_Sw-]:DIT=Q1Y?ĥ4/J#^CN!  qQ5>+6CT%Iu7/r2IhTXpɠRɕ.#?3$CnWӏw=MK9!h>KݱgYZ74870f3765ae9180291010c62ea216d9d2b8cb7ce8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b