SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 _' d4 ]/ TESL_Language:threads=4elapsed=22.712cpu=71.256gc=2.260factor=3.147zXZִF! ]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{f\c "u*zL]k~&,<<_a5JFaMۙ8ts^}>4MdŚyʽH65HK T\r<=Bs*= ܧ|^94r$PMH-I,<+x@K\6uӬ*ɔSJ{ZPd߸…܆?Ds @jp"H <#.'۽6^DYtu9uɈÖ3%bAecP< jc52_ mzvxǦ;0v ?Έ1mZt\6EqdLsaV \O~&4J655V*D!/&s&^*@QF1m۱gYZ7zXZִF! ,]ŗXiɟ-BS){?=l1Gh| ~XOSitء0-ՏGA(R˭xm6'=18JCH]qHoEVh55<=Tr7]iQBL\Fy9e4.Uht{TqfH에eXBZ@HJ鸜ͨ!^ă|rS+AΒlg,Q&l׿la e^vog'GfJךB˽HGQ3JPkM,qӱgYZ7zXZִF! ]ŗXi%GgT7k{, -lͮX"n0>.M0+^Y'4Pvr VGO70s7c@#f)=!:$'&zD; %ÖM?O8*Z^LL/Р)EXXfK*II`Z'/i=o?t?3Jtgb9YUr`sN~ ܈4mBZI~~0[ΔUUL5rP]Aq*_=@yؽ6ժ>̵&JYСleH裬E6<)ӁKGLnUlۊh'z*o[-n7,ZH H0h3y&b{ϸ@'/9;/0ze8ѣyOH9#q)sw-AS%@TcĿUl% Rп YuB(uAT_ ]чk>hjR0+O'PRM+Qr/3LV7~Qgi~γi?¯ uk&}=Drؘ}rbu`7 ,Vb?+=D]5@ƛ!ȏj hI 0;}_sbBB l;m C UpMnzjua4۠Y>uc^Zr/yS2ǧfBxC *b,[44X׬ <:tdd8٧5şw#I\f0 B,}Ws6_b%m n\)`^&rYqy'KP8WV?Q%&l \OC͐-Gݞfj*v ;-W3Qf;QN,y'RebYnUDrv7\aUS5)!4&TF< O 3!.9 Z[@|E)fg/Q̀AvFSb$v/s0<'5\JO)o2cc/cOsDFݓ$q # ڪ[4sTduV@߿a"Z]ӋH=f#OeLnl֓ ї?~ D 5AYRWfD\:4n=YՄ&2LRq|6}~]le~N= 3ylu ɫӎߧ7K -Tf@/wziDޑ:D9*;.ѹmkز-GG˶<3ZKtt6 Pu4ώRrW V 0PwhIxdiSп U4¿YXY0d ḼB帰v 0oR׮H? fbT>1^LkNBK k?QGFYTdmc@8*` 繋J[ja qDmCg1-$$gޚL'Tt'p͚rF|}+x=wu2jj"/(2.: w$%4vgO~Qzhّ ʎb8PwN9[Pp.WQ.(4! x,q ЄgVѳخ̥M .06r䀅R߹G(( d8[0=j Mz=Ouvuc{.v;[q4'K9{{<űI94jZy}n@C3b*nGmLg""ѲMtd~mm㳽~4̉ٓ^)koky?Lbke v m'N?NKxhP^4Dn;p]0:n=;X>nP;K"48 v$In k  #i#i(Kʧd <.Q#+C'!:PJpbK%"