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 7 l$  HOL-Word-SMT_Examples:threads=6elapsed=56.628cpu=75.452gc=0.888factor=1.337zXZִF! ;.]ŗXf1-q恈2Z( \9 .b(Blf^i1Mf"K Zq!;*s5 $@2f.$I=@8cI/ +$I,'@KF>Ն,)E /.'+pjdYCv'tᜃ 3Ń@w DoD \x*_biMm^di7,XPN*;xhNX3O Kiz֩3k_%3\iݴJA>!`Vsǹ:[S-U8nC~!NcUNUQ)Z=94`.'L/_aIhHdZx ƒOe/mS07/ZҹxY]sSi 7 HOL-Word-SMT_Examples| *j=hL.Ȗ~`\n~HŸ %PO$A*%s^HYt/̫3X8`nHx@ QmkCSbFЃ9X#XD+rrK>[ ?"KHU[$["!vGk<žC*D$B@JԦ}s/*=#=Aw=4F\ԕIPJO_[,Ma(`$_hAUw!(+*l d/^+Xk0;u0Na"a= ci -ltNՊ&m<4:\K9\%`p:+ WXhݭ|WcIPK'R?ɃQd%ji`l:oLW8^@]ZwtQ./Ek!1=mW y%{*s˪d,fБ=j7^|~-h af|1ae[ w5UC{v@4' Z nZ5eao>x6U11a9IB8| OufeIeN2?sH% 7>i5d"T|⽔eT 邥ƑOA},ϒZ163sT?I> ȵ7Cwj5,%+AcxR1]FќXmq|CMMϦQSm~5 |΃'\-ACLc DCUWXqus`3'# "5b^F"+ A|+55~˂QRS Ŵ5P&Bgg!0wt #xsK(4xt{҃) x&K#+_a:d@bcIXL SDz qj@6U+& O7f_}, n7ŦvnyqK ®$=w!ּ2ī%AH"k߸ժd T$ZKc,s-R o_5ŠAíyD;ڂXU aþ՞*eD dh,M|FEb! 868C`e s\u1!wXU& UdQ~}pA41 mP}dhWc ]x^#Kjg,aH8:(9|-NJR(h%UQlauuSG>B U256;v16aqGuZ ;3Q|}ωN6 $L(*qTߔ ;a:MK n׽7|HUx}mAS 1<_8ȑ@HIDiLXPΈB K|C~uE}K=XJi 눷n XPPe:[n~Y,03%\Ǔ6[E ]{hDkIGy~Y01CDߌu Kj7σփ/-=Rb-ŷ4YY/FEϑURu<[&!An!HQ~r:UW>Y{TK%iK}gA@}(g9T[~]ZHR/ /3HZ:e}x'eyWjھstvt7GrHL]87% g '=cpU[}.άzzV͐,`RlIJcjvAݛYrvAw9Z$v @xjSԒSVrwy^xZ5Rz*`?7SM{Y]Sc,<<liG7|(Mk}ZVtG/pF^%ғ62бH,Z>