SQLite format 3@ . YYQ77Atableisabelle_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, "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 77F) ,| 5% Jordan_Hoelder:threads=2elapsed=19.096cpu=35.028gc=1.380factor=1.837zXZִF! N]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃..; /`[Ҳw}VCʹyCjqǟMUndabvS6r402i=7+H$>~BOiIGҀi*bz*Em!|"L2wցQ=L}pJgt $n̏,EA gh(HJ- qC+bi%lsPpֶ_]67o RQns,22-.!%rQpKV A4 9vny?ى骾(t&%igYZ7zXZִF! gM]ŗXi%6SqM@ݠa%Mx`P)b/zي5*qOCGOU[SkNZGmsL21ez PƳ_ );7nqiU3zGw)Bf%I[ҡfklm<-;SŨoZCoxY勹.4.8zd1xhF!4C+HWT PJ ߆M+LtN|(Xȇ{/KQ269v'L,[eכO3Z-:DzatdI:R5i_f._31$!| )2 /Np\g$U76H]oHagޗ,=9̘k~{mN&LeTe,DIjFElO1 DFOiJCyGIP{YEחKc#),ť>l\۞ ;=p"˃RB/*Y!Y)oE 9n4z!x~3+֡/ŋC䰂ipιtu0C]>+!YՓخI,!<2^qOT^ZnOb.*p0S>5:qd!dX V{eH`Em&;or9Z;i4q~ޡ *hEvh!3 5le 7=ʫ>rSҤm>N2Yz'Z0>xptD;ǟ(hM1|<<#1q4t)P$켣CQ!+Nf ?ҥP^ 6v^+Vu?H{?ͷ7"3%R>p"6uznM{n`1U 8tַ38QwfC D=͘O7ksB N'%: x9_ygYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 130f3259e7bf9af16ca91f37ef519fdd24ce6ce3 3ca5a1675230ffb5906d79743d57561adc64f0f4 4465ccd5b4a4a9c97df21605afa11aa4252017cc 44d861add26036df82966c5f5394d6fb2cb515ff 692a5556b127524b728964d4805bbab1b30402aa 8d413ec5196fa7479220c95ac4f71bbac2b0d693 c6d33f696908642619028f80d5d7707602192bd8 d97ed4f37647af8f818171153e07865efe6a2f81 df31eafeb6bc17a0688bc45a27f55bcd8e9603c5 eea6b5711495f609a33c7f6b9d90f8a42c8f50f2 f7ad4df505eb3193ed8880c6378e0be2cba90578 fb807d5cffe5012dbfe05ad36f22ee1e60d61182f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 502d441ff4e78612d9bfdcee6255c73d96f5757f ) Jordan_Hoelder