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 + \ / Strong_Security:threads=2elapsed=20.173cpu=38.804gc=1.364factor=1.927zXZִF! YK]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/%ƴ\-[=:) #8?ywPXU ?3",)D{'2+f5pʱ  o;5w@dD)MgY%{M w6tgSG(^ %WC͙|ѢA]]dرtV"KWL J|PxVDQ9z/VZ$3'sc,YAa⣤AIէ}eWu6uJkq#TUWjd_%&ygt_VMۀ + Strong_Security N3Kh6wqճR+Ĕ v4P=p~ ҳT +pvRZؗS41M 1go8bsJl B?JedxcYbV@xRO c^~o\|P>Er^ [ eJK1Wkg+>UE/FcAD$;PjI (usJA~q.jxJ*}>^XɵxDa9EŲEZ-v`ᨩl@a_N5^"QM[:S㔮Yw!T$#p$ZUDhVkfDۃ?Pj( ފtgF6חňAX5*op\.= ]/e*5ĚCb$n HsO'+(ÿ"].hI 5l/"*8HfƗW3p*c%>c_q\5*|.XB^ľږbvZ甚RG~Uzm|O'SW\^AGf _7,P|u@HibYxIkQ"E[s${vYgBqʰޤJyt%Tآar6"<a!EN* UaJ&Ѳ`eTEJʶˌmnY`=ͬ);WG됤 ~7=Lp 5\Ṵ$Sqh.*)>XN;Msm[-|OmuJҰ]e [`eOO*ղ6~l/1*9i.MS h]G}<*<55DwR:j!G\}W/cSaaywU<?2) gsNixKC-'; 2:SEqh|]iIx;C2EP E̲@JgYZ7zXZִF! gR]ŗXi% džX35{׿ѯȠRάAS!|ӲLjee ΋ZVG3ouvJ-2\Nvx";Q><CU򕧅=c?e)k>h$ҥ4:ȎAJPOB7#+Av#,hY_!q hs&yn3m }<#M)9Guْ@Y{bd!S-Iq`}I c#I8,n𻜷u溜qBt\ſG^x~щHhnA1$A457U ]̳prP T|pTfM֌_Ӻ &.YBQ ilLsNE$Z|bG$Mnfޱ{L̏LN(ڎJE~VnXR`w(iz*n9Y 'J[- }}߳hXrEw+STu#-[4O+[#Btx>J'>Oj)U[>JPJV8VD!M-i~.}HuBYB@*!gM҄ 4UWgٿ7F?$q׀s:>k}mL- o}>ivf'>}u ~Gq{$M)T3 ha%*eAF& [-_Yy?q۱Ù< qQKn B7lcEu7~VOKTXÚE3 pܜ`XE&F q'׀ul:;s .^#b,S Y(WV끊'S0+]w@F;Kހ.[r'<S]RT"A'_22SkCjo0znrmZSwn*<-vnaE:jb՞ y'B{Gмñ6/xnAv[PE{{k~o#=M!':%V셀>ot||th9EDŽ1m~q((-]*CѳlpwJᢐj /}[_<ȭP2IpѐWMEkJ%