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 e $L ] IOA:threads=6elapsed=7.633cpu=33.132gc=1.260factor=4.347zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K LgPto֓iGg`k&zUDȇ C;|-U>I,cuϝm`eK"1OZ߿3Pvٗ~wҦ{82rG_4adrx:nkhH7<{YP[m  lK;V:.uc.78-Ļ)PFS 7tKϏ4iKYY]}=u/pdF(/#Ë+?/FZ%RM:qa!4 z^@qpPDQ͍ޖ,1\)ǷzzprTP'@&Ig0䰒X/:T46&gYZ7zXZִF! `]ŗXiɟdN'LvH۹$QOds,mIN2d5Q#=B YXaV^Ups7 )ّ.;7uFRSL+#G~mM|A-d $ ^Ոոɂ^?OTF١94m%H$˟ȃ,{խw60]duk[.,=wx0uD,\ }E#f::[/M9qFI>cW)x%),x2m ;i-w"X)e7%kQ$MM!|V", k! YFgYZ7zXZִF! &]ŗXi%@`g =h2]r<4R\1P$ݥ5 pQָdceKKY#zK5遷SqT]11{ub/ QW4{$^k +7bweyC} b,µ}Y}&S \4~GrbZh,tp:, 5 XM>S|sDlXJ/+b: BFȜpMTxن[z:^gLX&m&^F{'-$8EI=mR܀ r(0TZ{ܿfQn%c%#Ǹ.;ὲG"Ar70Gm! Ӆfo&h\pRJHw$nXCjN0$lA9qf.a(F#ޝ$Utyi;zw.tr:^xHݻUb5;|*A ܠm _~x9]ȔOJ„iB} F`T]+$^^w&x{SPG|i?,v,EXv@SD;:1v^'i:}w9),g>=j))wqb#bR~A-jزg)x+S:٘ξ#6`*\?f^mX]ɔ"Sv}2=ћ V2a!lBhlb#j.ĢVBn 8E 8 ؅QTp@=J^3M!nXHܡ( +Q&*p8(_ LI>וevP0{ۜƮV /3:B(wnjLP͘:k.ҫqͫ%M<gYZ32fe0a85495c2bdf143489f1ff7612de1fcda5b9440b9f4889eeccfeb8f57d192fef3c943c95e2f6 15a57fa35da2c9fc03615797247fc7f427c7b698 bd9743ce7c16350cf476953d9292513f60cd0560  IOA