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  H+ t ]/ Binomial-Queues:threads=2elapsed=6.698cpu=11.588gc=0.676factor=1.737zXZִF! K]ŗXf1-/6vRZkc- R0vPP OA50is|bagΐ̊R:\P GUHOG]N1! w4 `ygQw?\?Afc~Iy#)1q}W-L9k\g"Sɥni EQgp[~X*HSeB.j•ULvn*d֢c8m1 ?fѯjz fd4gYZ7zXZִF! {]ŗXiɟ:Jc6Gx&?==Q7#N } _Ê)KINF$<{T+yIdſr$s=bR@hsG\g'&O^JD\ygYZ7zXZִF! ,4]ŗXi%;уxI^,vKK1([(NkSEmIcAyܣtsx[,d~l&$O86l.|7p`<^q4Y_ "vGd˾ӪǢbFm UJf…Ԍ`iHkcR#s]?(+8rؑ#ƈNΞ_)°1<NMKBN,vTBsi^c4@0m.WsO /;Y4s.!f_Օ?2; ʔցoQN қz`DkA\-ZI@G+h%ٶEzDf"h`^W*n(>EǬż7B J:cXv6QPC7Tr!P]I$շJ'. @1r#pr즃n)+MW.8$qA.աkeG $^HE-yBŝ[_~6\ѧUC~!QX*+,!-F ] rRƢPsN5USNi9n X K nD(̫׫ Eg(sяs(xa+͘ @2m>`H_]l{$9J/K3< LYA EpMj^C0(vյrSɂNTʎMF-iCmj0|:¿4\K@8)Fд=rj;-;rI/LHlbA<#)Y1±gYZcce5e8660938893f13601413aaf817c613ebacdd79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 + Binomial-Queues