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| ]/]CRDT:threads=2elapsed=26.103cpu=48.956gc=5.472factor=1.887zXZִF! /]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Vh2}EsP\ ?+ϰMQڭ1^^EխΜ۹M,ã)s X#2%mGqQ; dܡr]HUV-e{Y,GkIcGKOOhzF;ybznn6Wbf\ KYyI}aG/vt$}A0>].'Os'ό'0 t>qI%}AbMӞ]4@e&Y>4]^ r@Z?E2]$e.]߯t]DS2 0S"b &H7U—:tq. +2 q9k ({]X+ՠ'o˖]5RޡdQ>A} bڮ %"+Y!1P[)r9Emikm_kg RS@߅ĽL \?hrp|e8-3HR%1_-t%[>en + y*pЯ'4O9^F0pޚ\TGM |JWe˱gYZ7zXZִF! ]ŗXi%;*)!7F=|t`4 X $Q ZviI<{"?I 'PurFIfbj Hz7>'5F IJyaMl{.U L6r`TT@sZtey.V@$lfW\ :{MO0XH cٵ'Z=TDZIaw*<BcCr'W3Hւnp@W~r5)f8ٵH~E+yȭ]jkCOUg<0͘C[_Zw :hf(T8ǫẑ0N;P q3@O1g`(g vzFyUD4#,Tk;=VYE鶤mcMsXxL*#*nPvppxr| -?>G:FAGT> SRx)-JSY?>Pm57u&NZ{яNnhK-'ՄGۊ+>=Nׁ+7-R4RFph:npmT<gǔ 4%rJOu'YJ#q@;z(1pWNIy,bvQ*-j5=?ٯ*jfvvQb 矝z8uG%^[Tgo[0X0OՉb10jW9="Ƥ1)Y"!>WkDÚ~U\ƃQ|~ڶmI<+w&)G[6o&&F6d9F3Kq:'1FNZFcb545Qnlׅ1%u0\Mv|j5Ro [!,W07tkiZ',Ӡ>>it+quQ)JKϋWM1e uv$Mc(TOȇ9Ԟ4KDR?0hrI`c 8^d)hy?@ǚ4CȈ!>evݨ+Xa_9|۽OzY4i(aNuYOa\%>)xw lA,M<=M)RJ4_twȎ}5{aVe7PZN7ܡN6ٝrn(gCzp.@E4sR1JЕLsV9|8RoP[, r Z+L ڠPȟDJq`m绽1ӸnT|] [ZaLٴf9hҐ_P=L5'gdE 4oPVPN_zVu~833u[8i/Ek K8T؈,d[ltZ^Bw.q Lo8 vZn.M ݴn ꇀ2PȽ鏖5ga-PA9=f!p