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 x L )/]HOLCF:threads=6elapsed=15.500cpu=36.680gc=2.020factor=2.377zXZִF! y]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VmKv5Igeع_8%:'8>R7a6F0l$edFoNa{A.w HQ_A@_ʯp=ҋl<ѭ9Zk,2v2[R)4]M>AT0UrCMF]׈wɼx/2U![1ᮁBx 9'ܲz̸{>j/1*EF㑐#Z5ƹ_Fʬ?G]E"^x:#.݁0*#oĴI Rkrݱ  HOLCF Z!\@?";p ʹE!%*tfFNd5+L!)Zz_<t+aa~XS =a)zX*7̧d5qYne6  $Ď*cSoP/$jg,N#ևkxhR}7"쇢3^D&SԅؙFcŔXƬiDhv2C l@6pgYZ7zXZִF! Kq]ŗXi%6۳Qs8CM? KS7a.-KWri: 8[iOS)O*\Bwĝ(XӠe>i3rdfQѶ'|2 %:jm;dS6\da:݋,w\F:"K3$)$G+! C^sd:+r&tiZ/ݽ+f@DN P6qDhtU'j nO7Fo/gOhŹ%Nfz^cY9D6 | Ft㉯g]q^XX!%EACV3qzFު?B .ݏIxeh&cd9N$RNu y$R+0ضHX3ݯ.YxZx6'\h*YN{1+x&֓y\&\Ū WĔVƒkES'LI 'rW/޷^JiKo-۬ UM~Ȁx4&R"mbm@%sh[˘ܥd嶔i-yx8VzDoe}8Ӻ;'nU⽑^\aLAYpCgK@oNA"> rPCl5Y. b> \i!m X7)#zD0)z_"=yU. QI1&u'L{P2RUM'* f%Mm=`՝ 3,q{,G( dž]APg|y@b_:rHldhDu18.{?T<%1:vSzʫ5C[hyǃ:7t.<YE7Կ'v+2KmԗCKf j!1sۅH֫$28U[bŸw82I˔xma̞4NJ O_KPB%cfwY̮ZF*X