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 CC:% \DL ]/ Generic_Join:threads=4elapsed=18.552cpu=65.980gc=1.720factor=3.567zXZִF! 1e]ŗXf[&ID+]kce Rm+v$)z)f ij ?S\mTw bb,2j؎BBLwI27dӆ~%RGN${Oē?x0BjJҦlw!z|m6Kc #/{a#_QUCn#x=d*, x}jߜ59S$Z<͑vdW:7'8}rB'9ݰ8 .\ 5V٠&L0N-Akz;n}{_!yCcVi:xț `J^Y,w3ͯwNח8-F #EyD5^sQvaX?}<6r 5s|J`hXEѳ*˃*,#)b h0jn~~EË^,pjj!y0kZe|1j5z_]!z˹>\R|h'/Ln\:G^h7+hvܕ/z\U[v2BFƢ{]qs]ŗXiɟ7^aόu&XL{qdtǪCSAH' Ah1pIi9]{r86^=lɄyHֵa1€)DGʜ4dS p-H]U;`ьJ+ rS gYZ7zXZִF! ]ŗXi%L SXk-3 (E `|z11W٭O*:]XG~?ޚI:o2{ ՙ7?A@AppK:+!w*B/EDlYJxZhfmkP^<#FzԆ&Q-?$r=#mu>Akr QhJV8RAznI>Nj-sahhǣ=e*U0ޝMa'¼4Nes{Ƀ w|D;n+R6j-I^яkP~Y Pғ{kSLg38[* GatVru55>rXWc!HXȄ 9̜YU_,~{S3'j1~|s/H F9W0݁[K_')5¸ݮ*r8+ Q~],#Tf;OPc`~pnG#lXpe$p(UE=CyX6?ѥd7gm髬5S:׶ :)T \rk[+""XwѷJaY)`c,%lEFGb9aۛ Vf!:7`g8UD1{m];(. =+㹠rFY7 !C.'[%R]fI~b01z'Iiw ʜ M +@ _'? e"QkڅKEIe15:MjeFSM ֮BZ:ѴZؘ ^gYZaf12c7c80c8d239a995af0e8446510bc023f61d3d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 % Generic_Join