SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info % < ]/ FLP:threads=4elapsed=17.495cpu=49.856gc=1.860factor=2.857zXZִF! &]ŗXf[&l @7d|ĝ?PqF.kK)I][FҋTJq[:6B= ɱ`|hWW06Pv8RK^ƪsՐX ]8T?'ݞ\_@;HIur(͛2!Nv3O0_1BWٙđ7!mB@" D/|(CuD j1UZK@_NNurGwf j~K~n7bZmcNۆo?B5>ºɈ Հtf~Td2ygMe{y$ Q3p2v.~F*d\wLa4_juܫmBn~K0xxyboq m^/gfG-݃"ڳ(f8c6tͺ+*&X:2?JWŢ8l-5a0AWFz0,< 6K&?bɄZŦH{e{$MU+\1[uvYPlh vsv>g2+)?҇i0H2:/ȭ FDw^a'Cx-Q!p|ʢdIVUZ&PeQv%goj +jǑ*>_2Lvqm4,]dgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM a7%>LY A)/w0?*,{ȱh݄PcM᧭9GWWpod窇J7BA#dc8.#3PǏgtY.gYDro6ѹ&֜z<-P\j.d8vѸj~2&#.0{۱gYZ7zXZִF! x ]ŗXi%G> N: ,7H6wŨ/.bVEp-eq~kl?Pǥ mHIF4ס%iߏ@:ԣnؗކ+mwU%jN0Ǟ[MrËk9{Yc`#Q1tƋB h㕔\xݷ{=Xߍq 1Iw* !ψPlrJsSے?s hwY](p.C}Y[d.K:xf|+kc>6}ZnR]-)w4 =5r @nVV:Z6&8!-l6ݔ1@@hP-9F LKK۽{V"4vM5$ ?Eݻ Vq݃WK ,ێ-W|yE^!%}GŕJbM5;,MdN.~ Zjw~OMbzi9 G:" w.in7ߑ4wK\ٲ|_^!xS79%]5ֵ DZ6* >3ݱL)eu [e;=y)1-079g6GR3)^6" x1Ո?נvWǪMܯTDA2lyf |fa}dJk4*.οPxyfY 6, $DoJxb61C7!iHskﺳ`/fdCYM"Wo4lcCcc? 3(XiH{,☆ks\(^8xɤqO!$⨀cG@77.m*$^x/GPF;1 QbTf # yBaiP({Ƅ%7qGDR&1I83 q'3a,{&'<7#(Bi/O[JQlιiG&Z$MSVdA+jIX:تd.uɨ~cx?;AA#++F\a&&,K#FMEi[%[!B軖0)GOkcQ 9Y0 ٯ̍FcFyϟX#{ToO4ă %Y? FqC@QUb$k [kp<-D~QCo?Z7.oapYO-{fVeont.gYZb25e8a69bc81b5dbccf96db21c93da1d8bdebb254e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682  FLP