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  i5 D,L ]/ ArrowImpossibilityGS:threads=2elapsed=5.613cpu=10.496gc=0.540factor=1.877zXZִF! L]ŗXf1-/6vRZ]o S.AMLfDB4ܮ..WkU1D} L^N,;!|7J1(c&q]96FӗÉ/D4mz7;vEYNeL#{v؜6Lc RZ7ar z3̶4[V F(vl!ڗa\݁B` Lrl@ň-XGfQ1 `U1bLCB`K dV j;gYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V6l@xqmޢp:xU?%/D\|GBJ4CG·˜J33^,#ܖvyuF {3gYZ7zXZִF! +]ŗXi%>gt ^> [8sPSf+O Udh2->`TZ͕G[xQJVÑU.ϖ$C|*Qؔ(/%`͉ZR*~b"Cۯj3/E7Ҹ(i#[|4+ !N[gp`h G&le*soMK!ԇq%UyȩSU{$'2.o @]i lu=/6;⦽->ά,^:*f{?_~O6kx"#0͘}*C@ӋB5[ 0mk-b[7Rjm}=B]@ϤuQY #[)ۙR,Mz4*HZgjvB|f`Os U\S[f V qb0TE{<'r#aMxXȍv9=> nr1ȩۙf7O:Қ Yd{'tf$6U#:4(Tգןךʬv>|&"&]ꈤJHK k&P.Ωm: `ŷ!#,Bv3h8!;ZmԐz>336kCr~}oI1x㔮J9F6,8Ě"!cmԄ3h̺$l( ΰd:fx'1/Vz_бgYZdb0bc2d556080bc8c32fa45ab220c47a4115901797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5 ArrowImpossibilityGS