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 ' | %]Matrix_Tensor:threads=2elapsed=40.080cpu=60.752gc=2.132factor=1.527zXZִF! ]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]-^?1A;iv[[[<Kbͷqٟ- ]:—) ƫլ/C[wK)^\({D TNoFwM0 ie$&dog@4q] %ONWDy JĔI`|.k@Kc|x٩j{:]YyI[@nzܷVZDVsQ ƽf o 0k!uoRz'Zd+z5[a7B ʋcD>L3#{n(fo/W|5 VUG7S|EqW8?>޹akŽ$=*S>~8Z~s~ t>0e{!͍ѶIT$jiud Ŗ$0TRbw&DK'ӈĔ¬EfZQV :4`:Ы6cr3|16xJʉdc!k? ݬ3ȠevK II=%8H $-%&%S)v kł/nP d#8^ h_,DL\IZ/aoU&,rdAjn~;ޱgYZ7zXZִF! ũ]ŗXi%7rMlu}x՚dv)IcN+қ }ǖ]&u//< .ԡYzIu ^Z[LKde Wq 85)+I BjzaLMN2G mNsqJNd9 Jd%sV2Q%2  d`eRbܯ:5v#r5su aN3;pH^'rhq8Knm1w_#q λy99QxY,ڒ2*{ΛeEOw?Nl>n <`f E0${L3F6a f9~ MYj L|'15 n 565t(p?Fݹ9aFچleґyI(@/XI$CFzM9ғuG)V'rfWVؖQ Q:׽* P=tk*{_:b6Uԅt?_E*e]L$AvnϹ"c2 s=?a}:Yag.J `&9ZE(\PnL,*>zC7 x|j|ű ίn:SG(YGiH;Z\3m2qd/_s D?JYu-YHcʼnTWxH\J 8KcrIIt`F0`3YGѵ*k7sǽfC$B60ufzʪ3IA6@c-x2ڠ$>FHWfs[BK%'-f '(6Ejwf=I%̵ppЋg/JWuS ?fr=i^F3:چHš fdO3FQθJכ3W/ hztFBe2`WlłBBB1ګn-uu37l65<.jlXDkQ!#ϷtI J7}Yuzyx%dC KPsEIU 9T~3FwI1[N1}a Ȯ`mVj v8ɶ`$ckR,j9u7OIX^gLVt=ۄ; kU7@cECDN qsx"tЫQ3ɬT.cL:eRN&9G2jT փ6",p @5&z J+dgώyW:~ 1%oqIAڸo (;}e)hw"zj. @u!JvSZSzbˮȆ O/ڋ!F0hH Unzr,(>%L0ܗ?꿀FB ? T>w{ryF`LR