SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 x' \D I Stream-Fusion:threads=2elapsed=10.013cpu=13.420gc=0.464factor=1.347zXZִF! /]ŗXf1-qN ~m{4vW||MXɷ-ֹ{ņCܡx=1L#^l]L ' Stream-FusionqpR֣.!9k]O'Ѝ Xִ/ËqNVr;wNWf|1Ӊq4PX˚ γ d?Y|p5)cL-|e&.H+Cv=;VtŖ._ݐ5ͫ42Bp̗21ѫv1 R]nRMLV?Lb , ̞; ^$a6|Jwk]d5_$-&`_'`lsKaf8krm''bQJQCmY* ~fWx-]vŴ\+=7/l5'lͷ(gPSg)L68!N(ػx ?ٔeȂOjG'#ЫćEbh0w$+qƉI ߪBݾD`C:&/N uA"_׻pGe}.~ Lx_JlYr1v*+R?i'h~8"f0)O[r8}m_/_'ޱgYZ7zXZִF! 7]ŗXi%SMUIA= 6'LA-.%^~qoRO%C{Rf1k~4q1̎GnzCZA=0L:sn[6+=8riY㜌MMM =a|Y@3H <a# !(jcj \g4x%D/tA]z ڦs~qӗV[a TXyTw M=d DwU햲7+I=p O%[A_2 ɳ.Uæ&<ɨ4|EYT˻weoR5?\tN-=UHHHY߅K-ʝ=𤷑U{ǯ%â؍+HYa"RˇOK$NEǤ薸(JN%[F9+,/GH2a ,~! ]è\t->ZU)iM⸎! G`-#MsA-.jZe+|D K(OkITEH3T60z7 bC4tU f6ǃʔ~YCa&h,S!WTrObj]({eGw0P VIJNG=9.KZ8k sqo\jggYZ37a95c2fcd5d24caa95733bfc47808e1feb2d551 42949db6ca1e816bbd53202dcffa7c9052e84a7a 55294701d70a75a56350d6ff7af657a0bb7748dd 6480eca7d8d16630f0177ff98440fb9d1dff0620 73440a138915a52072d6581aec1a0c9a8843a599 b7b14edc8440e9659a16359aa649e8c83a02d145 ff2ceeb55b02bb63f9f48145c6e73772e2f7d5f880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 004a82cb101bdf5ba9b9d95465003d98afae1690