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 q) ,T ] Binomial-Heaps:threads=2elapsed=20.343cpu=37.140gc=5.812factor=1.837zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹw;" es~%nJh e7"gYZ7zXZִF! z]ŗXiɟ:Jc02߳|y3ÎIXOa+,fmC墬!nyPYL atW\bh$XlmoJ͐Qb6YĎThgYZ7zXZִF! gc]ŗXi%r)min^NX/``~-]&ɭi̸+{F:^9-|(AuӻD"}2b0&WToQf.|q;Tx/~Fnϝ}:9Epת5TJt#0\H[k׎0x35lpNCزxd 5;)@gDʈ)88u5wXWgGiD@bh% }.!(!Dɻ7hQMebbB 6(lN4ag=M=ҋ.B"bp~vaaV/$/4/3m-|{`LRدϩ'e%#*IA,!w|qx`$VF Fa#+T P)K3 Lɣi;;fI._J![*rZ-=l`L5Wx,eMѯQPWȟ=lav1gRK.^ɭ˩AOS01@"@ yґ9?mlVrሑ\"Z\iuy ~v3pjk9qΟ{= U oo୩GD6in&-lme>HIvڪr@cPj#ZrӿoOƣ@.PJ^ܨtJ2Z8h`47줞\]($h8+f@L8uh?Ahi j>,UbW8 ychOF8Df wd0Ti;Cl( A`ؖ,'AHgT3 +!s ֱ̕Gho:@c8٪\ Ro7q;'l_JƓײ⎛#וj(|kG{(e/^)|bQ_6;xܪKr5-8 /5aJ&*UIF~(D7lKӼ[X`Vy2)N2$w0fſw"Ė KB)fItS̟\rShSQ]#!,~{J3_cUrBf+qGtK"ny<$%$wyA٩M&6f}~uS/ +;% 6\[٨|yxRj4tǷ ;a}9]N9rJ9(J5t[!8Ά3A4V'@  t gYZa53674eb4fbfee8023ce494682ca1cebc51132bfd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 ) Binomial-Heaps