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) t ] Binomial-Heaps:threads=2elapsed=20.235cpu=36.624gc=5.756factor=1.817zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ7nň3ZHCGUms=Znwv*kRq~xCh/y?85G ?99(ɟ4 l_b;bQ.-vrMx2hq}(=b̆V~SOر'Ӂ,G^!Fl@B_؎hO Gwߧ7v*|DMd8P?";Y)k.XiG[}(M;MI;iO߮deǛCG )":V =dj߫Oi!E0X6{<ou-SKs7{±gYZ7zXZִF! |]ŗXiɟ:Jc02߳|y렣Ml?`!꧅2ӧlLߢǍB#n@$G#n3` HA;.(u|lb[eE5b8gYZ7zXZִF! g4]ŗXi%92A v^2ŵȑ1{|Bg S2KBLUq͛ Wސ Cr>gAS 2=њGglgugd@h"@*b YYεYLgW %r_-ȐA<%ZϜ%?TFjo85A ʽrvpӘYi"?OĜi<۔ Mm\iC$qA踠7W,xy(X&Kf`kǺsrtk" zOm~c Ggfb+^.Z8BxUT fe5k4!uH=}KCjb`pH22FruG Td~"F=/dhY-St#?W;بTDኴ + W`ҹ ͱI5+l(((Y$_џRSkK2]'_:,9ld)W,6Wub| )ᷳPepK[DDbL ^ˋb)3ЊʪetS\1# :a"׃"L *7%>Qza&sJ$ҧmt9>'-ܛj˭Lx7C}O]΄Z9dS8,̊Tzc#&7 P8ڳ,#`eZ2|2)v"o"|~c)ѢLC&8@IWЈA MCgYZ258bdd7b69fd7859eeccca3f76672a9875a802d4f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 ) Binomial-Heaps