SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 n td4 ] ZF-UNITY:threads=6elapsed=6.097cpu=32.248gc=1.564factor=5.297zXZִF! r]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9RV{Riٟ(EtAX>8q'5ŝZ-z,Yela/Wi  3D U) ,ry6cВi|IAV1|Z C=yʛSxv.>aMf}#3nЂ] f܍q 4ʜLgB7T{̮:e/=`y|4r$1Bݸ7lYeSbTkVMTZ1v{>za41FFM #lF!/; Yޯyw@~Jy-{G.R׹r<0-$qt.SV:Thwٴc(RVrGU5pDm%qJ xc{w:_;}2 y (*B53Qt߲E4+)*,{&dߞLabE@HeZFb^F`M^{#LgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7yFgDgiQ=K܍BOWة/c0sP.h*KcB ĂZ/V'js)w~My&7-ɈrWaS+3?< ԰n9__2q%Y(_(]QRw~=c=̦UNCR7{nYZp'mm!,MVy#[w/~sL^R9ΰ{cGBSCluO-̳J|1ݼ/TCP3҄@5ā9 X>[*epaQ(Fx5ċ:}=~m4'|?tMJ @\-;- z =i/L%Kjpu̦aAEw3WR$C`B5i{0>#H>H0!PgJvvrIRЙ 2 N(~^MAfc(x)ê=6d&/ųG9@AVAN௴#gbNT/Ҽq*e++4jWqV!{ʋdk0Coc~*GDʼnQݲ8#B}#'q=ݢ(&udN潱iF{8d%'q)W:ts=isnES~]ՋP&o8b ]/\uwsoϋtԠ?)9ay vҾN+~u*L p2.02UΫ@htGÅ :"cN+3^^'|[/=eK!bnn^pH[t3>/gYZa6bc3a57a8441faa93d7df0e8a07149d3fe3d579949c598a2bd1e6db44f140e6fcae9e1de0a86ad6 7c56357766230accc668188a07f3b8791cc8394f d5dca9d5c32b1492f02c0e84d545ec62f5772485   ZF-UNITY