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-Queues:threads=2elapsed=6.810cpu=11.672gc=0.668factor=1.717zXZִF! I]ŗXf1-/6vRZkc- R0vPP OA50is|bagΐ̊R:\P GUHOG]N1! w4 `ygQwra%xtAb@-: 9MQ<\C*:+UNsPn{X]#I@ftgYZ7zXZִF! 1W]ŗXi%;ihWȅOW7KvK=p' `pڣީf xzB ו`>&[QCvQǫ>MH)Ix,sƔj$!X24 kSȻV&*Y+M A-7z(a:[=1 ag9D}Ҝblz[NPNiglhpIklWGX Gҳ.U֌s3'MubpDo{ @D1OVJmQu;i2ShtQSbYG:nY2\#\P/jBIN-\/]NOӺɖ1k8B{S'`YjjK"ي {D|"T1ג bJ8]U]مpP !5ąץV5lgrm/ʼʽ3KA ^| pkg`zZ8&]R:9$fgwΘVUI7*Fb! lPȨb0P;|kNRC㳔a .%9 iyq [ @8}M2+=w3mwE;[ lKƇz͑?İBTRRdV*{CM'VEdd]24ՋDFM%O|䊂0U[#!QWY&2XDxQi4rC+1 JHLB~c rk>Nݐ6rm^\ .!,qZ(Y#~ƧA11i%:3@]ibvcqgYZ91c1892da613ab7783d291385485f6d4626dfbb1273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 + Binomial-Queues