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=15.116cpu=42.608gc=1.112factor=2.827zXZִF! I]ŗXf[&l @7d|ĝ?PqF.`uU>l-ڻdM#ثZnXko5 MuiRYSHoS(`r 0-6@M<+IrrIUY?]|thSXMє1=P_ḖP[0yٳ3j&ͣ.nơmllAj(p݅DyYnjGvg13uBFlgkw˫As 1>_`~PMԆ}VB'+x56$X^~ZP׉ ǵ +ԫ#F,;8R (9! zIGޚߝclX.Y t{F|]?N; @3& Fmf?T|(DV%vXmţңMS); L#Z~pw3y:( ٔxy1r &-g̶zbi> 7#eL\p?djFŊ SKJ"fMfΚ6$\h%n/?<xG;D|d5ax߿|$")OjxY>'f4&ZO xP(b3l(;WPEyQ|ZxwauFjR6yHj[P~JfZz*gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMe(rT W=cp犀0SXjdG! oc['Qo>s556y-$+9ͫX )[yzbS0Vwk[5Ȫ]5;?:ۗlUMz7@^ޝt >e%$*lppɴi۱gYZ7zXZִF! iF]ŗXi%Bo{ײ&͉怣k ]ű}_lc= TSG`y UlÒzՅ:iY>UE4+Asz:@1/ڷRrM4A`<#M#hGؠ讬ULṘ6|1\fӴ=Qg:B_ac oXlH~dӬjHҥ3y^_,eUp Ě+rژ R`-ƒ4/id$+bUؖZ>k6;ttB`=Mq`F.1(u <74QJYbkt*+չw-k.lӘx@=PxQԹ}#6dBоf̼Va_Zl&y^K Z4ۮ.C~Zl]8 |ZZ36-xZӠXPb'Ll`ipr )~+W+H`X_ٝ@A?օQPgcqvS8 HC|OAȏ4tN2;#}ç{נ YnIK'H޾ lHJnCWϵBԨHPv|9T^&P/0KI^Ye(1r@|#jboj{۲Z.g.`Q $kElMIL>|v )@*VuKrZ b )^ jyLڹ$Sq ZZ0ͣmg~ Zکgs a@3PMnnz S#:]Hj*&5@ cOķqmSOkQ-=Qc X㕳ܕ(>U )1NiL%Y aHtw!'[;*W!Q(bCQ: @Qm>'3mw[ft~sPAAZkA/WJ|A}!(|fS4ē`֣ͪ'ח("]?1 \_kH vM0 IXi3ٙ8KV3.s$syQS`;-ѰO`Ad;>ˁd_Lx=}cA_ե<).f7f\_pb 39/DL+췂Y\Jn;Ѣ.q('e1t\}h&cXTY4S C9pSWчgRvGy