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  l< ] IOA:threads=6elapsed=7.607cpu=33.064gc=1.476factor=4.357zXZִF! /]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=-.H%hylyX% SʬfW[1U)vi'p4MkbV8];m4Ϋ Zfwŕuă{C I(ms4Ւ&!sA~WQ_ߚ(#N^փqf;ާ^D WئMӂ]2bNE|n#RCD忟%WIcT[V.@ K`fÔN^9f~YE0-Jzu8nm_|cq y'2>ucB]4cUl4r#i9&j:A<\o监:5ren!/i.>0<Ԫ.;Ȑ}7gYZr ~XZc٩oA̎h0}WlX+R*VGbpbd]SeIeöu͒ױEN%tsSeY zgYZ7zXZִF! &]ŗXi%>b  quy,ʃ1̦`[yR$!ɄLX "@ >Lp~BGHs<u3/UXqiH?.K`ZdKvLo΋d M6Eb1Cx|?c#+>CDFx)(ϼƒDb5%r,{w.ۈİc b%. MM/gA]ƫZEIֱ 6>~v"X%,V~4%6 }v'pvl"H#<ޠ/\l{Jk6Ƌ 1Z{_tp"KK7Jaמ y `IAQ? \&Ps{ǫ#s)HY+o}A*rM~0mvlٚ@SW)LI9 !~]R 3}NhkLP%S!`~O23LIIAqX8XlJ˵֓ ӝ?&pGDБf+[𚁨)2ߓ9.ȡJ`RiptTeãeoAU74 +cD>;,ވq[H]dg>[<Ԣc&(:z 1M:x } 64iP`'H3, 9[ Z=W&kCmIgbrqFH]1ʞ~~/]C \ԑ;] dDBY{R OcXO,Gգ&jۑD?ؼ~ãd^7NCS> x_罬▊d {sI 85_v?WaȌ/:SH %8hMȱgYZ011084c1171bfa609e2b7864224a5c148f0a5b3db32ce723b0c0669b9208cb20425fe0e449964a29 c8cabf77ca89781c09f0ffe7bdb60b594b63f54a e54af9a5baf21b013163eba074e7eadc6faf5446  IOA