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 3 ,< ]S]Applicative_Lifting:threads=2elapsed=33.778cpu=57.028gc=3.668factor=1.697zXZִF! ]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܨaFPPR[ Ldtj3AtY, W-U/ MYU%ܯ .*G^@HzЩzELd&Dc'f?^X/(i/|6-jnfJ= 1\NQ7 6{9ֿj);mzTUd@V? 0o,yq¡w'B*J.߉4⦇ؐVx$; r}L Tnu%R 3 Applicative_Lifting  ?X[EzPpI_~ 1+H%x->Χg s: L kܕgV r.TVX<?zB7C(;yI1 FwǨvhd =q*A֤أ4 m\S"َnJ͘}C]ivQ՝.mV7 ͞TuGtI M3\ʍ^ X:+VFdXLJn;|3yzAD6V|ѧ%f榟0v [7,?Te1) ?zo⩸EZ=MSD&7mHḥɰ?p!|d}БtL a ـUKc##UsKb9sUojOٛEw פ2F8TgbVI!e&Ρ-ȗ(z`;}t[IE̠xf\bEwÛL.L'mJ G=})JI8u$ 1XԭE `bgYZ7zXZִF! jV]ŗXi%>gBB0&+ ?dqp9L_8"3u}0a\LD4B:Hݳw*҆ƭSCϛX1ʁKm %[HbDm+eJXu=*ܯ'jE.NcVx3ޠrmkn@y.>X^M9CUJtF54WK 0N?\R닫NWj32 |[50Mm4Si!yVo3i=M_+F?S^tIqe`Am6аj3/AL è}/ ?qӁҪ)bQqPEddПx Df߄HYi0Z^Z3{r}THn؏ӱi2\ ͛:r1Uw%oO-4hTW.SNZ95}%Rne,kG0 b[Lk7~t >TeU-g#{2-7Y$6r߮Æc 81j_@-K⬲U kGȹPǛ®LNHE@lhgU"dE\WDHkeNkZ[ 7-sl CwH۬ny"Zpd~5X3G! %WRׄ]D+Q~RLor-rIHr((;@=mvYPS1A3 <2NRN]YWU.JUJ,Bqf37:hS%|xy Hxa ?F}ԯNa?>@J DXug gD8̱(7Q?R2,xaQ'9ŹNdWyϳ%] ~zoyPV,t2I3_`-3u7yM%>@ܾP%4+̿0d) c&uX)Pu_Np7a.2xOC'BQ qbEdY SmOIPdhE*uk]aLx9i9o##ΚO1ʀ6E\z=!a_A?ć ڢ$a%Mks^^o@7mq+30?]_"(-l]X>c#j~?+N?5zIq[{B:NvV0%lyf,}tEcvB/rsVM㮏,!4O(-KF`:PhDPif2``=bll8E7a'ur ́S<^7XbT>73k U,?؆: -xT'h/ETAoB]Qe! *`@CVc召fiY+4_2.yaG44&B`C9Ǟ@\g%CwׯP6X8_yhO+iB\D]x%Ыݜê5~`ӗ͍ LDg($%oL+EyJV~M-,8&͉ L _ ӝrv cG pCg ;XJ ʚͅ6ܷFXr/$h5ez3)! mW=~~GCvԭcB9bibֶ${u&קL\_an#ƾ5=p75o/]EWkUyO*:R]%TqApF7馵d6.-}3=S#(#ٗWڃF36B֤93(b˶2[| 3r}NU_eRvف.M~i}uwO99(Yy՝GsR]N[>>]F^IQsֻKVoÔr%4LgYZbc70224e3d5d0e852aefea1c3e38440767771a88767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec19bdda7615d820658d0b20c803ef2db4818420fef