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 tt  4 ] IOA:threads=6elapsed=7.283cpu=32.492gc=1.460factor=4.467zXZִF! n]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO5'Z ȰUbi#Tܢ'Tޙruc]'Zr:&R" 8P>xtf^1};zpl;rᾟ$TK@U BzuRL$SiA+U賤JBhqc{p3WQ!bQL T޴,Gk*57\7ZX…DT<(w@J84#.vт3{`Yn cpW!,jM o-v UW_LgutUcD7giR{p,&'}kzخlX ^R-k|SbB՚'Xmxb@)o MSnH*'qԟc3UP Θ*˭ԣwOږx7-7^C pDڢ5ۖX;{! ^^rK݉7|AK* }CШ%kE' |!A5H*Jz ޏ ϼ1WzsOeAe4 DŽ֢HE_,9F2g~Z\U85rӥBrw;Qj~%aZ2[Pa4`eƐ6^hOGC? /&7px+V (b*M J)W-7uE0"ۀ(g;re/ _ڠ&"-\6S"8~ *~&۩I&],h-ZWT<-"%m$]Ehӕخ&@?*aw^8Ԥ + bIj|*x6ؖwc]Eu (h63B5@ʝJsVUu-ERE_;7e.X c| d8FRO.|xu~?'{<݄H