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 TT)  l ] IOA:threads=6elapsed=7.340cpu=29.092gc=1.208factor=3.967zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@{ZUk%몌gQzvOzÇr4ꞗaMl 7~:F{oPqɭ~jdf_/}'BjXѮsʹbPOs_WJ44S3 BUkQ7(M;|F,Z7I㏪Pzcp^,6` )<(ӪU-]SRj@4w8 r*[]i7dzD@s QUQBa>^!e9oWL悻2H CW*(Ɋ,}3Dȑ*PP5{ ?~\N$1|al4RP;jj]~gD+8у]ҺA|YhS Fb3s~ gYZ7zXZִF! #Om]ŗXi%92;:)eGҟ*7 Hsd1d*v[%ܗ||k&(эпK5&~|ë>I=`Hz:NLw\HG$' =dB -?Hl$Y㾴3 慅:fdyX}o`}. M6;(>Ji`L@=ڟd =l7L ]d6?WZM%[ W3qТ-5?5~YL Tr3ɩIaC'PN]fA th`|{*[>3U`1Ñ8Mc0& i{t01E*!|j乶A 4P:3D 9uuv#uK@OepZ)0|ț.ۈzIDdKm 2Q/#y-kVC&s-?#'TiRsm OR?Q 79ԲF_e3 G:{Aז5JI7Vyf_S$y0~EW9z}ҋՂ5 rݭ5'Pف]ttYhewkXڋn=,xN^[2r !F~XnRֲ>P^/.;j #v&++ٌ3+}F^ / Eo4mm?*2JJo:wTޑnf>'q%&ʻ(* Y3#,%ġe=cLj5/ o|vTIAKi Q◔ CUw%'I0OÜ1l%'2 ]ov\kXdY _OEcF6gYZ1045e939a341c48649945164129c3ffc5596701419435e7761b5bfa7535ecc583694b3b77ac13312 d3b6a50d191a438eef0407441b81032b5f20e8d6 bf32ac17a88f18fac9761f4cc2b6b707052addea  IOA