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 @) dl$ ]/ BNF_Operations:threads=2elapsed=19.346cpu=38.172gc=8.144factor=1.977zXZִF! ]ŗXf1-/6vRZjȀGL|Vdw6s1<pᒙx\wĈ"`hU:?z xk3bY΃{J[II`nG)wKtqd6,ϣM`ƿ DxUz87[z<":vX^O3seEM& 嚨J嫘0խպ^­3޿cIavn0[4<{NZB=v)v6ueOftIQpP),˝#m 1SLI_T+HT:4GEOуagYZ7zXZִF! h; ]ŗXi%>g V7:;vJ!|NK.grԭ:RRQ"\E-5Wu£G ODtRzٹqW1?]ܥ9J/Vy3@% jMtE=HmD{ fJ{iO @xХ4}ST 8Ƨ櫚$t T̘5|tt&)ka9P D2fv>ѠotTf /"e =VQOyFIتS~W5ES ~,.GY ju U &zfo0+@0@9<*oPI|Oc'7*-ܤgQowJp?_3! O6"_Ũ@5rL;0 Q t& |IUHkk DEĦhv^f;p9 (N$zUpc+w0Ogƺen(q@B7Spf`Vq,C5c.먳@#ˢ]45B^BJT+0ӄW#8?v;僺e )R@5 u*iH1Fϖoa`]Rʸiɻ7֠K)u4]lGűge_ެ2$+xvT,cqxANMX f5ܖz@ 5vZ\7D; jDoz?8wy]Qbr!EØ9<7K >Rc=-]{=G@ŻUP9 j Jf0󟱳Jz!zԋR;tH*`[' LE BzIx̵q YgH ƌ> BD6dHĭv |EѧNz’;^&?\m"ZSU BCK~ ilD;@4=*G~6n+4pVOϐ +ƒa3ܲNX\!:Ara