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  $+ D l ]/ Binomial-Queues:threads=2elapsed=6.558cpu=10.860gc=0.532factor=1.667zXZִF! y]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nO 2sj3\p"]V-'1? Vy+ W<ɾ. 3| 7牃M;*!3\IpkN&kF*1lLʟ.2'㬫26ڱgYZ7zXZִF! }]ŗXiɟ:Jc6Gx&?==Q7#q|~|NKkmejj-AusYϗӶy ^>oT.}EПvVݜ'f 8Z]vCgYZ7zXZִF! ,0]ŗXi%9*]1.-wq$/ Q]$gs֚H ,e!1>_ .a2L{@gZjl0q kv~T|,#BnG5N vy '22Js׏ΘcckB !5Άk=Ns!_u0ۭwsMO: ZjFBZ3gt3]6CæAE*"7aprdnT1Xtbϱ鶸jҫd}XTSs,-#J/7$btv._T註h+_3κ̦\~۱`j8)zDr!(!9RAX.Oy^_5߸hoq^pKZU޵Y}+Y🿲X ǜ|;}l 3Z3\}5iUu:#&j 䀄Pܰf !T^BN:GA0:HxCE_(Ih+0]zBb)$Fx~`AVRN~rc\YD+nY5y!r1,ol0oBx(@UN^ve!* &߯:L̢H4Ad5$NMSB0k`%9Iw_CZ`k5u?G4vx̡),2!*-xVu>k!ȗUJŧ8?i]H}{kY=gYZ8a2464efaf621a6b4ae3fb15b49084076ed39e28325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 + Binomial-Queues