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+ $ ]/ Binomial-Queues:threads=2elapsed=6.529cpu=10.656gc=0.472factor=1.637zXZִF! G]ŗXf1-/6vRZkc- R0vPP OA50is|bagΐ̊R:\P GUHOG]N!e|edE&Nn/s鍡Uh5O:dƥAd`YqOQuQ58?(*gYW%rTQZrw"H=˜c=9Jowph(zۓӰЖ*L[āwf8V wAOPpX|Gka]G8a `**;ܨ^- gt/SgYZ7zXZִF! z]ŗXiɟ:Jc6Gx&?==Q7#Nާh͝H'1޽6@Xe^ΖS1gu5OK~nFȽc3 kns}QTD5K.!@*a!JqcatgYZ7zXZִF! .K]ŗXi%90ùP,&9C6LMͶ:5TUJKc;s/i\H4 3_Dd.|Z$fb yHؕaYypaD vz[lM%oJ>"9ˠf\FtqD+M11,g6EU59rZ}M߻A[N*)O#f 3:8_;d΢iZU፾'P8H*kG<悇K d|ÇAi`ǘ'f0Wns\\oDp?vܫC>{I(}Bٷm\LR# 3^P9%+  lޝt{DzCV@3M-Sk;.0;|Xv,ƧVľ (?}Śg ^1 );yeΩ,+/.Ek)>.` vQ@XP#w*97[O&rL^yՃ,]%}8?p¯9S73a ]ԭ5~\g.Bhd5pYa{Mm\H6R1brZ ;Sn<+e2sy|$ŝUձt L7^ -[փPg(!mkc [qENOBc?쥆\ў .[fd\F.[)~/²ӲKcvZqcށ齿,gy4Ccl-C gllE1 _pw޲O% !\o(]gYZ8e300b902a00f5534c29bec562ccb08d751ab635ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 + Binomial-Queues