SQLite format 3@ .;  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 _#rt  ]/]HOL-Nominal:threads=6elapsed=7.167cpu=21.304gc=0.9167zXZִF! rs]ŗXiɟH)0!h]Gb«WƮqjXԿ5K.2Q b6ePOP5%bMO6n%W`__HU 8rz$yI[Rl]5q:XVӌB_Cʖyh;O9>fOB3E+β‹(P%ew, ׁENh @\'kS?8qM|X.ޤQDcd(ɱhGD^ +M^)Mv;򩳗Q 9R pթ'g 92iRxރ"Z'.=x ~;&3%wzEi׷WbgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14Wʆ:ںa [oES#/X?ME x&jqN?)?ct=X$,,*!L0p1Y LgYZ7zXZִF! S<]ŗXi%L(qkv,L ,aL$^5Mq<ۭ|{/ty+f[+gصUM=uL { Pym% UZL&9V`GaR+R\mrrۖեFю'u [tc\\Q$_-B1|r_yDj&HxWʹ"DV26]Yk 86\( kͩ%X7Hr|B8FN!s$1Rϒh&'źх8L+b_t `'@Q%JaXl,| gmW7sUO]q7æV=6wО2z>җur G=o=՞bq\LD1([ȇzۙLLN5*૿F >MuPH"kv-E(OZRFM=J)3 -@6yt5CSw U/%}oF"*dc Rry5!9p3* &ީ,$IbBZr;`(P8_WFxW/%jgn)ֲz%kxV*O(_%3`FbGdkXʜk ,ԁ?ymؽyq1Li|ڨר@ͬԶYrͩ6R1)~=\g;[;4E.;il=f9$S~&kOD`QdVI4HL%Xg֎Flg>$ۋUz+.(:HyWI dm4g. r>h^`+M_",