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 })  t ] Binomial-Heaps:threads=2elapsed=20.145cpu=35.872gc=5.568factor=1.787zXZִF! /]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=UrɹZl y62D9gYZ7zXZִF! }]ŗXiɟ:Jc02߳|yoUXeN O~IXxY94,jb8b-D] 6P9c3TD9}N`>gYZ7zXZִF! ^k]ŗXi%9(SNOB^0ȠiFe~ZXXe1'pA/F~7mz\.J#4O${!Xa(;+H6#[~ G4t0dfjJn԰1u>ևԑ׳>w;l<mO!{ؘՇ:,)=LBB[ <91_} %5Dґ_u\S‹ Cuo_T=A? ƅd%ᨪ;Clܯ& tE`5FKӏŽbT*[. Wo? &=Žn)g6 Y?㵪ǩO5&U/ 9Y; iL]2i]t o *<͊<-#UAB5J3Œ`!]s1 rX>8K_2v(swzDga E'wkRZY$-B-,H*`_ЯhQwO'=X:T21a[=(NE5?Zý=Ä> 2G*i-붓zӰ_y* R<2mpMqyAi){># -3 >˃8mx)[K\~+;8OoE،SqKZ%<*SIB[ s%BCwOm@5+&,0]gG\!:6/ 4 #2aUW- TaG$V1:! pfH3YFcD)$]vq: $ѓ^^?f|\*/!X7T[!*Tm2>$ʲ Ẓ1864PVwAҗO$s5=zTW({w̸@ oGy#_{5U+m,?Zħ\8~q"RZHF)=1d%0$5@ݶ2 Gg$} o}gYZdc29159661b449f68b201a003ec639cd93bee9822722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af ) Binomial-Heaps