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 //N Tl ]/]HOL-Word:threads=2elapsed=24.423cpu=46.176gc=1.912factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z O1`p an@ϡvrgiTz.HRUmq~B Ψ `9"3}!efM#n`ݝo&DRfI?8$vQ49͸ N q--`_-xČ@ !k7 /Gkx*^2`yc*SD_Fߔ[8O/a5cUNj/t1Kזy;(՗SwWE&R΅.XD1.b;'%"!/qbt}E_V3/3 '`rsPTmb>JM^(̓cEU.yu:oGH3EVm<7ru%!7" :a.dUΊ7M 6FVjj,O̽;Pr(X^3Ya/c+01]mY0yI%Edm-^Ю"ὌեR_ӏM.^sxev5o^}uW&Z@1HS;u_FkV͏l\R ~;ŞWP}wï\)ʱgYZ7zXZִF! p]ŗXiɟ1˦r8v@Wl"`&Ba}|ؿ!Q@*5TQKSš[?`2Nmys"Q̸0vZk7h x RC`b\W@nA y(_Yi Z[AgYZ7zXZִF! ]ŗXi%9#CPV/8OD18rc?TuwPUW3uO~ ȃ.r7/tbi2]qd[ӭm L$P3ːEe>ΊZۤN)F Qn^N>#1  '=Yd: /h>k SP8%1 )!{5o:ݙ#R4RMҩ+ V//սY3v3- ps%PHe ݧ4Gd;r")Gal~ڈ[ZQ)eɷa;Z;IJ1QJ&;Z&"aqfeSpԇI "qťMֿkJi;+'0׳On?Yp]#v{$P h &08${|=@$7{Q;biqI>W26p_z,(T(c)3WBȫ `*McGP/RǤM"T!00H%t+kWm1Ea®OmMy5㫤=^y*΄5W5Yt%F$9Ua}`lO  $^|Gp я+x;Sqѐw&hvyoC W"LE@y.1R/ؓЭ=}x-)vDA\Nsr&nm26lx~1DkUDMU?"~BL0ur#;~ں8,xw:Rֈ  "tgYZcb48c6c877fcac0a2e06ed8915c57eb772686c8d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c   HOL-Word