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 L3 4< ]% Residuated_Lattices:threads=4elapsed=28.146cpu=55.244gc=1.396factor=1.967zXZִF! .]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/Dg\*2Yՠ_xI (T[5iΎlm: .~ˀw#QF:-h}?EpQ:~cnN0Mu=QkiH٨Y6L ."( J!Ƒ{5ygTkJFhJ ѿ]\~W|mb.ҔGqܸM1f\&Ÿ?*p<pmMh0ǧm@ڌr{VtرghOARb 3 Residuated_Lattices  ~_ EH*c<ShmwZ E5>P`6vo+9aPZza;Q 3I0]ju~3qJ>!re8/Gg‘a$6T6 iG++c E"1o'.9N~ST6W|#pC |(5uBo4kBnY|!'>+9㝦/PV#AQ _}ĉIKpR{e$h c8J &e.P` Lhf`V/C2 l5mn Wh>hqWI)!)H ِtaƌ%9SZrwnJYTt:#h:T-{:tťTR>4Ms<%ը3RB }Р\OlR^}  >v\r(OԈ]O{@+Ț5G"aC*'=Ie+Œzqh s1XVd/BMÂ'|Om#86vvVEsX ]n6ѫD>!& 5u+Y1<㎎ K+߷YC"R R'ddn=BT@ze_s?\6sTl,8VR2gK!$KsxPɧpEdo#ʸ]ngZWۥD58n{{A&z}}вdN1]ļbd Տbz:#-A5ADI,ˡi07u89)˸>\@V/ԞU;ηkһM&]#,y!`:]O9 ]= !͓ٱ=u'r,:Z@N()1X7LZ ᔄ29c1U0i6c} 'ȟԣ"H?xx٘֕o(m4ahB_KwݸP5xߏ]R'! Odð*Pp4 VQ -MعE9y@w`ƚ"?8ҷPژLyx] Q)^< 輥 nʔaZ+pyޥRnj'he^a^ b(b}H/@dn+78㢳N%8 JgiN_$0RqT+gYZ3d5f7907de62d2e7d509f96cafd081291160a0ddddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 15059e4b884c385e3a1f4555bee098335d341964 1cc1724ce2fecace0aa32f60acacd088bd44709b b1b8479e2450347ceaba79e53e9a628dd038d203