SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ; ,\ ]% Special_Function_Bounds:threads=2elapsed=42.575cpu=65.908gc=1.732factor=1.557zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _҃t.e8CN5N耮OYq@nd"cXή4ݘi!L oά}8w[x?~}oH v "Bhg΂Tm 890pc. 1's|R?Dm˝ѐ~{/.cGFjǦ3FkEE2t HګF17 jx'o/b857u)bDOT".6]R{ٮ,KF?7[OȁvH|}7]@XQ+s̓bZ1y#lNy'x9*Y(bhE!EWؐZvg{Yd-ZpQ^){791M(t5y.Ew5}t6mo ҹ[M7s}'S5*i'Hz9veHJ+ޜOŹJY*2 L* |\E2 ˶v[`>Thmv!#ZZ'r4S̪JTYfB79$= gYZ7zXZִF! ]ŗXi%>ga{n=8cЇ*@O;~KEl3/?CN[r6\ǘ'݊lנSX]*֙/(&S-{Y10"ji^ pyBTINJpVfy8\ ʲfPs ak_,WU &~:N7m۞ Qk'r&g  l4Ph\x -XcUl)sO&cn:w4i3Ea£1}^+ҋ>jLRWPⅼ͔8AYV(m{ѿe(b"{hOwiFOl_ Yx!FDL; djES(-jrLϘ'w%m׻xPGym X.ձ*A.Go6Xſp:r8{ fT޲_NIօ8}>eB{Tq$JJƻ%kc i =7T䟈(@B5usY2)8I+%cBC-dCy°߯jeo&d͕̓9nCZGH\IgR i"1*$A Iuʛ*מ dDKv\%%~D}fu,~.wmE;:e >"-c'&W3uT![ ɲ|Y uDulRrtbIB~nXJ7Pw= -eW3]~WmMS].ȓ4װmM%s2f`߷n˖d~rDlbڧym*S_}tuZ8=6tEDʷe|1>tGczpc&@UBh rbS` RXJ*ƒ@NyP"}P'$:Vk0ۚ#nxLpF2\T8ILU;)^LM;8xK8q=@U(7KUtwqimLqɲq1!% (1̋: }(ahߑ!iV:zby $~a0N$+): ̋ehX+>lcjV`Q]Gs(z!^/A9RO[` h{* ]$d(4uJ؊E<؛%P1|“Ԙh+P?}8`J4C")Zn#JVݑ¡b\1?Ͻ,,lS5Zs*rQjQ˺I]|j]ma_P76ll`,)SU򗕫mKy21;iU&ϫc|@ !B!D)'g[>/6 #VFX>hNcsUHx'" g@^dzfZ9>M {$b(v H~ZxI;=^3W-۹ vztg[$ 3ۿt&K]Mk/~ğQu NG+2tsWb?ѭy)ǽP݀mwzKԫY|#sgҝ%E+"'pm,UD]>nMݞm@w~nh6YfU0OD4gDt ġ\΂7oƶzFM=lzYז19{K`3A7^xв Y0k$8J)ezֆOɤP,egv穒Q̋9[% A 1A5`Z!H%l6Qo~ι9>s5GMYYh[pSXY;};Ж%ϡWٿuKMM%.{dBՏPZo077s}ap2>6|ifydL*q ɿY^Dg+i?XYT`Mn= Wb9 dNNLlf;Zp4zJfL <}1C7 \j-Q=4WRBLm^K}kX[>U&T-O[T熀_6TWV,7]}:ro4CP-5/nN#7uELq"k_?h!<