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 [= ,d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.568cpu=25.268gc=1.316factor=3.347zXZִF! [P]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLvXa|'EU6]AdM@@B{7IFBD&cl뵽vE@ahJQJ?1=P[ĸ -$wd•̺?Q)|V:m{32#W4|Ʉ%c?b9Lc2F؄IZ(@Mny1wQEѷ",%WUC)Ip3Ыd7Rh}ӁP7=F0owgYZ7zXZִF! l]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v NNwç+#lV:xRF+̶_ttpN2^M5&&5}wz89Q:ZJG~ܕ9Z~qh)QHi&@&;{ɋzL褘гA!d{ ӥ:C 1G= -{Gٕjֿ` ϕ_9Vfƈ_!kE-qy?~\>+oG 3/w];TJ/dozr*vLhZ0\myʙ6P a>Z[ 'k槆( &rgYZ7zXZִF! &]ŗXi%>z^H%S&WDC!ל_L(oag߫ș5 -/ jbqƣ(GbuEB-0j$58mq+U B d*gnsec|bYʯH@mG)5q*1IMeJa9Վ:'1UN t*A7F!D:9ZERP2U ? `! 2g H((@H̚;pH H^pue,-z(, p?>iNOV_†+i hVǥ=8w60xMQUT=trZ 8V)%vUP׶N]@7~^+G(kJNBJ]ҙEšE7ip8+!ԙb|wȚZ㼤XmU 8eg[xé5Tvh}5AV!N1i5+xL}U``w!_ZBy *Qݠ%!BiSkAF[oiI\,L:tm; dmd/ZP-?>Fʝ˫OU\9o# ǣMqjn CUOxLX=!6I!ݺ1sS[I7y# |Ko]dm[m6!2OR!3%HXgWp{6c\6t0-omOf(ѯ "6W