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 (1 L$L ]/ JiveDataStoreModel:threads=2elapsed=13.117cpu=22.648gc=1.072factor=1.737zXZִF! y]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 {}](_ڔ[Wuҙ x{y|HU,f+m] HGD"D< .!NїROS$j c3]+%̻(njj+QI;|Mp֊ ](3>{) `KRXa,*LѢp>gtDy􃾌 *}kB5tT'Z cm;iy=gYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ֲ)eS}\r]pٱdG@&RԠX{'HXhNؘ;QĢ $sYgfz9uKLtdxUh=uPu6uz.zrRpw7 k,2J,KXO}:}nB9s;k0:yg`)I8nZ',OLTS9׎)pGDG|'2NgYZ7zXZִF! Q]ŗXi%>g͵`97qXdħ$6R6l'`r?Q~_tkD2Q_eR=2;tiͷDEC:$pg'y*7>2CV[sˎ:6ѶmB1JZ-W3Yp8V,q A?t8WFvYۅbkT]/)س@0WEF*%˲QZ,Dm);g3A$gyOFKqOat!,}xP N޸`5lt'Ns1T些 ͈UwÔyWþ‹"\WPgfQ8aMHT2`|57_}$ @AĠL6ڒx&$?Y&yNh@nH=@'fFf Z7"s f>!T1K,DtR^xbT w<, D XBQec8lG; }~JyrYGVAr%(QüϑV-pDȿY"r_.uxVw3#s0f_j|&Τ OoWP3 dHY p+4j>~騧_M-j4Y3LJ$R߆7l"\{{P~ۄ:|$[2V+=20֐քP|^]+PA]-ZV6Qź,,[(RV݃݊YoGE[&:Ljف{q)qM}?xJ33z]sc3xE;8G8vCJQx2ޖVHxXѽB ";ql:(r`lc?z%+|%+ HtaD8F06 e$6{2n"W% lԵFNd /suO2TAf꬇<7ZAI9UE@PiLWV