SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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% TT ]S Posix-Lexing:threads=4elapsed=14.035cpu=30.192gc=1.368factor=2.157zXZִF! d]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}C:ްceg 9NeB~ҞED1a޸] =r+#|:rsK7AeNqԀ:: b!v[{DgE\}^(ts^#VEG/c_*?I&Z9IF{S썏M>t%T$ R5-hEήT# 5ƹNJ0P-]̶Tm>q6e T~(k:F@tb}BdMsıgYZ7zXZִF! b]ŗXiɟˏ6t-utD>ь@z?HS(wp pUH1CZ֊8%:]ŗXi%I-c^jXALOI%S /Ay<4mI?3c@Ӫ=Q7 [Q/deλJtZ+q?r0Ч92/j6ΈJmxD3UůT='fbE6 WxƘ$X3P 5ŧV!%܄{Nci Yri*~f1٠n(xIBR~)Rh¯Z!_pR'4[EF_Egeˢz]e,;t8(k'T 7Q9OzE؈0)g6 3,ib*QPiW&`X ^/b]pK2 .dr U"Xz9jTkL%dNAJfVV)IODl@jJ7V~N>^BB0Zi;Vk4cNH@UYVʑ?MxF|zP @'ƻ9x?s3iRȪOz"/L8`zo떖qO!gOXS-!/NI'OW%[w%~9pH+Y 5ѫx;*4箼$kF o 3i)t(۲D&lm1zЭK:tIk Wvt;_Z ƕCw1}\﫹ۭ]6rkM)+d_5Th/UU!4HgZ\*Dhg|vBl뷢YNjWNIR"N/lO8/(D&a2DЮSSfK1-bgku+8VrpiE"cȹ,K 4,$wdeJfIʌiytr͆3App;HLZ|SgFDIYɛfIuX3 V[xx^П;؝|+CjguI˾bqh:<6)T3kEjϩƟG| '?yhN).[8BXx7R RZN<%1,|mZA5N.uSY̼y ދH&/+bu&&Dٕ8) ([Mg1)88p#^,C ~s%خlJ}n.-FVOR@$HJ+8nІW|E{V%o7 Sx.}NXvoMuz Q6R>@I?V~V) U?lFȨʵى0dakԇO49~M;=1 U^宺2/L187sF!xo<ڰ|Jзrd2k:VRvn-1h+6v ܟ<1lV&,O%0S``eL^;'aW%_xR%Y ^E^R]6? 8x M gYZc6b9316ccbb5d65311b0a8231340177cd0eb39f25a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 a61942dcfe76c6b5fc11e48615b9fc5c028a5f0c % Posix-Lexing