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 V D$t ]/]HOL-Word:threads=6elapsed=10.163cpu=45.200gc=1.820factor=4.457zXZִF! U]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@Zx.X(b3&7DQTC)(OF)nȤ{ACyqyYQwNh?혽`"-Լ'p~p;qQosf#e Rk?2ϴ0@b![iM][ǿ5\jil)rN:wG6J&8$%pkN0YfJ>;*w9P97kձYr7@%{БWA%k)"Af,̵)7_j,diWUɩkQTF-DĀ kiU,~![th!.1@p&lNyPO5>=@p/+ pPPy0L./90:hq@avJ5E&wjI!|Jo#lyS#CS"EԀŰYXi ?I:֋M4ЕoL/[+9ibT 6탟=W(Φ' nAnvI6b 69l!ظV̬knlߛ۰ j oD3J*Ly@/O^ɭhpN2KΥk݆t7xr(HsDS6F[HP]v[ğ&JNl.cf_01JJkk;n 4(Kq'V8&&7:ԢJ]Q)wžPD-^e!\}ty/WO` M|/,1d 6gYZ7zXZִF! 14]ŗXi%ы>WpG"/siz1ne r̰ ۚAe1/F74)IlVUKVW%A*+25y0E3s nK43OǓb{V5F}Iѐx=QqT,UQ.(.N,2o4r!҄w|b}?_g9?xC9 ET:sCh4hOn-ે S;cu %ߜ0Dl.kŹ/4m^S.$ߥm?lp̞Cϸ ^ .|Ñ}A k [H<-8zndFDeC7ogݛ,dX.IV W߽+WLP>f-$vܗՏ34X8sfLH>X|+]eƛGY O_1 1(}%@v$/ 'pIOdɡP`aO) WON_ƛraOȆNZۢ\}NT%KS6`B[]AZCȄBʣuL Ȓ5hzאΰ w} {@LEh#vt`f؛=!Ω$ncgYZ2db7d38401dbd3d95a03e3f4fada00866a5331040368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c3e3a132b2aebc2ece08b4e109e9d7808b6cb51b1   HOL-Word