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  d < ] Isar_Ref:threads=2elapsed=12.122cpu=18.864gc=1.240factor=1.567zXZִF! k]ŗXf1-8>l޷VO +҄RXۼfxAa+Ĵ¯}I'Fۍcjoxb?ȍhLov[t}#s#ٰ2ut׭Sm2m8} Ҥ…+P.j?Q!nǡu!1Iu@*\V[5nlfynDO^ y1Y= X\A1xĮBi(Q!\'Zɾpb0C2 9A@YןoQNoKD+]J򤒺L'zX稕mPh%Jrǐnb1OUZ5Z|mgYZ7zXZִF! :=]ŗXiɟ]O5-|01 Wg9Ъ0~vY [6ج=[4A" |09,nq(^^k~ԥw[JvUc/.S;?М- tNz^l֘wsOd)yU[eZGIĬzg[,?^ Nъ{gڏ7I#uӻADS&YZ$`h\j|lV;ڲ.[ѝ5T+'zˍ)dn+0kU'JVEl6%: #&*W:yRHgYZ7zXZִF! 8;]ŗXi%9*WڭE->Q1_DYFe"9zd;;6-6c@}Af$GrzR&TZpVo­/-xэ|F$FKkw)| =$6)Ł) 2%#8`>2B>/7I'bF# gQTA׼ׅsk l8fsA5ܒk|1ЧU<=8U\D(V+3D:xzŨLiGb]9lnb9Z`,U6@"/Z⯗ M)cVbEjNH; Z'RZ Q{{F}|GyP|UKr"*CauJ>67ʊ 2#3| 2_ TAб_e%SWyCǛav<ra)}5Y w6墈 r$YUh  ;:5qyJ^<:W 8Dp3`)U,6p`+iֳf30ĉ^^U7Ea0Ba9Y1Q>={ռnΌ4@Шr +o;GX.D_bND_#B+"#qƗt)UZkkU;` C&}0mOl*N.9椡TFb@S poQgYZ8c68b633ef1500f6ecebc2925cb664aa6933bd7ab5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c   Isar_Ref