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 } ,| ]/]UPF:threads=2elapsed=31.634cpu=59.596gc=2.568factor=1.887zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z=nBIŻuN=2 D.̠ǟ=}X@~L 1)eXQsTgǃ YG_$3ǼΨ?W_w=rIR=`}(hBc.1JLU`QO/DǪ2XPq 1Յbb u<]͔U#{PCKǞl92bϺ[ E{ufb3Xl}zwMyd\ķC%3fм+ZYkVdT-*An*[jwD.[.Az_E/g݆|=ҿMc|ɴ,(q<*0uS!>m]27fXT_ٱ3wTkZa It^Nh^r`' y٥,ĀGA˺$a% yH \RPg%N.TPT /"&MX0y{L< lKjUB&%^U+obp VSݒfUn+iIDC&5a013F+P2\$t&QB'$oT!@Rt/8J596gYZ7zXZִF! ]ŗXiɟܤ#k0{/!sY>zaXa$r-nޯ8J8/*E T'@4X cum?e'R\]2P3b#B\cQN (x̆4UFrPTMHiR-m 75FeҲsI& 9'WE&ɃϕQ˲ ~7LGJfmtWO[tD^m"qK q#gYZ7zXZִF! I]ŗXi%>g}y Ɍ쟙FqywlSII6 xJ,(cξmkz*^ge;_I$9ٮ5׼CPy?gق,ϝcCʫ5_0mm1k7:nSrcT\"haK +t7^lZp\'m1SE  ]"ayPc9X<m~gFfQtvVp|ׅ}綨'6"k 5$d0#fa[(>"Ċ=?Tނ_t"RK/`mq Pc=nQTj) L]< ˻ .dbvK$XqfҔMaC˿Y$3`,G'F!=*b 2or__m'g&t5|rM&QR[N%ͮ]1SZ:th5 P]l )?NN|P`'THL0)6XM6}o wsY?/AfFXIxҌz8^p)@"T7Jåޟhi"vV.д5J߼|nω†XLټA3[Ug\u;Y&ӥsw5'LjEzQsjls>_u#6JZV{ٵcEP3e ac~(6dcYIΞ6mK3eh0'S< @(]]Lz?Fj5wkcO/ iyGK`44?s/""99 TԎIkkesoh-akHḪ#ogX6Ѥ8еy&WPc{w^?s" G-xL`썬0M'X^)ӻô?7u_"!Kk~C1imb|u S3}WVs[Pש܈ 6cGRU ^NN>YTH"fִ~0Ih=J-~BvTVX{ķ&E7# }x8`wfJs}델m+b 5gyKA_sW~Ciaq$4Uaô&1R,0%E\+܏zV~۠5+eB!e:/8R["F$hV"ȈV%=)fD?A@7fO!|8??8V< ^KPip(Ufг)"i1|P&i$)0Ƨ3yW씟h L'剉51T mޜ/C݆= ϘQ!^__NR@ؚ !'#hЉgYZ3bf70fbe37c65cd542ed1f84c75abd3678e33363a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db838f44d7ccd4ad630ae1795773c50aa987f69ba4d  UPF