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 LL1+ |< ]/ GraphMarkingIBP:threads=4elapsed=12.710cpu=37.700gc=0.540factor=2.977zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokTh!ŝ"N^[J:ArĨYWݘqgat(q]45$3!'X?bBrC7-2/?Ckט=| VSd _aΚ[8`lta*{!`g+ynEeY EnHaJmb:-~/.f;>p9F'YI3a ߝr?B8;=<~[[н}Ԉ h XVq3& TE7ӏJ(rZָwСl)0 y(EkHbMmnbz9AjcGb4%(3_/ʍ2^$0t%b+`I#jXϟD~й\NqS1F4'4>oڡq\^4js =y.I2jkTGvw^ۅCyUexVB!Af-a⥫ف+U:pJu܈+.)^MػG(v錂uoK𠓖 *Wf;e;qYF0Nvb ǵZiHPT<_`( ÖKfTSf f~MhfR=n\!hY퀃[4޹UJZd% ;j g71u ,C1JkA5dzSE^ gb6YE[@:o4]ic[*t'7OӚR L- n]տb+:b/)_|Y\3U囕vq`UuPވ<#@yR/hn:+)tqȐ<@(u9wddVLFAҰbz76baw}eKDl!ys=fkghT0Rv|v@gAPI݀)TVPv*#6gJgvδKh>" xvSq}9p' @%BӼ2;t`lHD 7|ᆆ2o/Vi#H$ZҨ_YK+hAY׺ s ^n➴ !?Z?7Hzx6ZHS7m 4ijl 8#%fHҬVЦ,ɑ6PgR7@d“%r[DK1>ܮR/\Z6 pe|Y |R@A^{exfyV8]C& w9?m hA_ 5 tSrT(1lkMWj/^ h)ѲqU P#|[yxt/gb]^r~La 34U{I7wFrqvpd)(]Z~h>j"].'ՊeMϑ+ƺ~),V+