SQLite format 3@ .;  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  x x}1 l  ] HOL-Imperative_HOL:threads=6elapsed=34.874cpu=80.788gc=2.520factor=2.327zXZִF! /t]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøp ' ?\t%ȧ'PĘBPʪ'4yO"stTH  #BH3`9x[V?[tlR! EE.CM}A'̈́ q"yn<19&́_tLHq$Yð4%0vUtQ|fUX&ELڜ >@Vn)7B|4R}?}k`sL M [FOZ{yvZܥwdOJfM5GG:^.|_{m'j!(qf+Lc($ϬHt.[6xf(YDjCUɫ;9'WW&8' : Cպ?Ag8MSoquX~0.n)f+-|B<&2vl_<cdItsy~3 t;+>qeߎwJ@{,K2{DQ ^bgYZ7zXZִF! =]ŗXiɟ1nhЦx"n_8N]( eOtdÃVy ϲ#킰ޣ"d״ͼ۞>}4# H"61CeS;掰y82sQQVRrl sʻFE- )&s.7I!6rOڴCCS/{>fh9dt#з-K͡rz]=@;y}8ʴŹw4Hk; !c?!wag l&7KK]` bxꓕ wgYZ7zXZִF! İ ]ŗXi%JU: L1JQ7 Mpe YN5~b̟`%0[n;hpg`׹H0H{5 \);=՗Ǔ[‹ _,{o//7$VN& 5>nVp*a,1Q$ 0%)u4ecz9mvW`,<#CZꔬ$h/r*XrII׎rC<BGJ`Hk>tBl{4o8͜B]3$zwIh\.:y\~l2[ <G*JYXT9B2ci]4P$_O}`~ 4FЮYO#&rx?w{?=CzAњ9ɋvG!ϠX2;NkbC[R3ϱ#ϯ#,SڻbsTn٫(iH/ C㟢$ClxY.$w.ZfrރQ;S` 38>a-G,MǙMS4ם_ ^䎥ϻd[@ݰj,怫_bkc:;0"f̟a}8ȻMxWƨGwVB:  X0fg1!iJ g0T m(Dz: _dos+3i AqVhL$ޞ\EU~CyS8s=ZHM:!^^ijahRWlf 7_l)Ae SAL'3J5o;;ۛǨ-9 1D!0Y顂1 OnIsC:ɽ"r}쵂{kMp'cv,ҟ"Jt'ws q 1\ f=5*əaJ:s+zATed=Nec*B3`G Rw婩_V 9b$ G6vyv g)}0$RC&ꅟ8}oiY1저UFE7TΨiyh~Mʾab%`>+8YEP␤1U!|}4kj=B_8~yz(XJ^^[*6L,YJwTF2N;tF*υ%WS\HwX)- oQ_mqwm|ti,3jT G~@{7:@jɪ5_;==# b; A.GC.ኦ7~fK{'W;PRnCyŨrB0"@W<_q o)Z-sۉ# F6MO;1:U/cu~?BiF~~Q"n}VjO?Bnf!;}>p'u [Ev8CtQ (o0$nϺc hp.uH~{5BYΘ@r.N6) \UKuous9bc9MoF"vx: K-7]wP`6,,EjiگqC !XD mXMtyYBNLa-3W]+PXaJ3!\V[sRtpSDC9wƴ^ªr. >Ѕf~Nt4* |ܸfS!*4./&3)(9M+Y! 6<ݢnķzv} uTCDI+KU $ĪwF =g"9N魱ߧnWjnIh 2>o#S|A>fbd>%Dՠ|DkJ؏fR^MHwbXawp~8ÔmBEp̟Xk\;#Wğv&a֟\*y̳CZg?I[N,PgYZ7c25198bc83ea31cb48fc4605e588bb6553edb1cf0e41e8906fc3822e07e67496b53881453c8efc4 8cdd60cef878eaae282636d39dc13f1b1a7fdd02 92250eaa20372918515a2ab7aeba71bd399d2360