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 ? l$$ ]/]HOLCF:threads=2elapsed=19.244cpu=36.404gc=2.380factor=1.897zXZִF! ]]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/ZRʇ%ch$~UJ>( 59eB2Tβ& Jwʬ*С>g<]̠Etнrr&8Z` 2PxBpn>Gh_!d#V`iě &G8lj%Bz+(t6n]7c44P(Z 6?3= MɛADwgmVx?e>=o59-:븑%'#HPdM.K-b_g6Ս5 _2`N )`LkMA`*;MZVȐK :6}d z;% 7zgfe:)ء$eu ;~Yea1Jt&XC~M_o[Hhe f'2֡BhW\Q>R$[ β>[QxOqf:km}Q$U6 gYZ7zXZִF! J]ŗXiɟ1˦r~KunύNN{oy76tpN;ވ7^r`K!_}D,,[ m\w +[0ՔN_]]MA&8pjAY7|!D/ 5bUP#X(Wɭ>N=&ځ {c*g= |%:[eb{\K%e"\_{ 8IxRu7 _zaf /[DRQEnqg<5[6 Mm$geqp\Ѷ{ypŮyO-cƻl,+%Ň6%et?V=N0 faL"+u:iWn\P邱gYZ7zXZִF! v+K]ŗXi%>g.QTvZڮU S@ChMP2 ?o <|bKM~Xc'b pWҿpa FԦ᦬5ҝ ̅HHKz_&"BFn!CNк8$8DJ|U# XSyi: X|8+y%yd@,2h˴#zGm*i\DŽD_Q:G`2 Umuope W6ڮrZͩ|)a:fuT\7wVAOApf! NWϘ`"^ Id4lX]RȪXYW ~/HF/ 0y9,V0a+g!?)T'Z}c%NNcS#[0X$'`onR+rP`KAc>yGˬȁRIxqeQTyWcA+)ba$&fk'A"+Ln#z|E~&ρͪTmC5mFiဎ1EVF1Ď 8yyJ65QHg7jmPqd֡ƕ| F5kgڽ;kW1Z bxs6yܴKh2pw{ Ā۸CV2_\k%Qr-oԯ4T=5A td@b?b KRԝẉlWMj#528"|)Gm^jɦC>a$r\l]W"%ch)wZ9h71V.PJMw%9]k;9hݞWWE¨Ć{v#k;"ڕ""juE3@KX DS PVxeK&[.c[@m8kR)<3G$v7ݔ#~OupjIO|2C{su5?!v! Y%[0t-Db~tCq랿ҹk6z)by^'wh*!