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 9 4T ] Optics:threads=2elapsed=12.951cpu=21.524gc=0.504factor=1.667zXZִF! i]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~Ա khz?D{7n?תKEcP1To<T`"Qˬ77sWxSȚO8ݽ=b2A~iHs@wǴ6#r0IJގ K*\k')zz;V*&d@ _t6CW@NE_YjѴ/"@ ;%[XXIB^6ۄLj 3BV ˯ a~h?Ns](7A˹!Ԃjhc63~RbwG&$X.)MN!0 K%vo|ė\~4ᰑ gYZ7zXZִF! !]ŗXiɟ.x<3,6g(8^7NܤobL7[~MI*Z9Ԇ/Q5:sYWv -=JݚS_QBh.(d-<:j/QD/@M$x/_rW\Ćz "tJv?)r:QZʑ1vϥIOCNIf9WcsQ'hAdn+L8Tm7Jkh!9+ͪH HiOm(z|@^ dVl>V@gYZ7zXZִF! OY]ŗXi%>g|MΗ%p&=V{9Mʙ4ʓKFyڲNR.\Oae3 O0*Qݖ~-fgCW(- N?&Ms2Y@Iӎ*3\[3E{t 1+V{)$´%U0 /Ämm ^G2gG1HO/`Y;R0KK;P).2"e4"R+ `\:$:UQ;ev_WTXR>_c~7pCA,-slf[,y@:G6G].<8j{%)u-T͖|EIyn'O%Ey_5%0HZXS㎦ S!eZ?df:U3{ܗSuC U"D} @&"2@boIi6-DC@[ud&|p5Uh݂#Gk ƢbޫYo~F7܇Xs?vB7Y~إa(&Zٴ 5O\,S.y;R v*36u2IEa&o! nY+L8DӫɏȐGꘃ4FJ M;rAr){,