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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A A -zL\d ]S MonoidalCategory:threads=4elapsed=373.376cpu=864.108gc=61.7687zXZ ִF ! ^] ŗXiɟH)0!h^# Ԓ\GP뱷lV)28xXȏA>m<~j~۷tuG{X)y(dUvD~s8 !ƺK?O=80K3ź<02I3ʖ"9[IYꜤ.>fP[`CudAg*%l oe' ?tfaGg5%#Rh''G k;&4q>}q ?ZD\ Q+Z̓SG~Dl+bFHQ6sa;5 t :9861g`(1{a#5ED>ݾ"p[)VLSR7n_5uݕ## |، `AIA9s'Fp3 %TrC+,&2,.Piٯ3e5jd7XsWbPm3.><G1HX8+n3cP9`"?eoMԵ tN[ls8y֓eWB3}=Bϵ>IrV+,h( !_/ʬ\h?CW Rw1Fjjs0G][;xvԮEw7 V]:l8xgl
JE/) [&o5,#v9^I J2֨e`osLKc/7D%C%!h?Z82-5"#5vNɟ+L(3Uo%wܲ=
W3°CA?,bL"<>lfnIF~exz{d.Kȅ6p<htHǪ!js0
اZ2ymJAN<'0dsWGQ'¹Ԟ$)1 ~_'b-:`L>r9