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 1+ 4 ]/ Decl_Sem_Fun_PL:threads=8elapsed=15.680cpu=86.678gc=5.347factor=5.537zXZִF! %]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB-Ikrze. "˘y4j3}_m$V$C:21Z#G^Θ>FC)hD6Ku˺ 7:z_*s*9ٌ|(:!A j#zpO~Zm^S93E57X* "pEnk|Y "6Zpu%tylb*˲#*TWMbOԺm+B;Dg/U@.?hT + Decl_Sem_Fun_PL  Lnk}eDrgLXPtQ6;5P9BjflT(yKkN)?žI,Cč4^PV^81c EAvONN-f xEם;0b5Ǭt_%4eKmҸ6P,+<ǵ% 9A]_mR75/x6Ӵ'_K=Ij-Jo2j M@,vk5e\px4wKvϦ};Ւq%@8ﱢ84SvvZ¬ uLhȀE̮.D'6n7R3jԉ}W{K{F! ݕhT1)Kg[>H\J`2>>\ Yf/Oa$16-.MxwhQ&?JTݒVmKbF#}Z9O%?>n'M_q$.( nE u,+|,Hxl&}rq;B3w&趎߯e3+ȑF5|=ʬ[LLjm%CQgX8Wo|);TۻqU:jRSuu_mfXTlfYJ{;0=!{+y}NlA,2՟I}Cj4[d^d ߱J-H)s 54tQY=, %?2\.nC>[X 1[> KU1gYZ7zXZִF! R]ŗXiɟ1˦r~KunύNN{lۧ(4*2h8Qu`=H0@f(Zd&fJ9MVFvY5%pO:V‡> `tCqO_oVVM$"\QS|\w# B~l,t-1o'q}!gT/kr/ FƐcgYZ7zXZִF! d]ŗXi%>t{^S\z@NK>Tp{}",X(ȼnVySWDYL2=f~G+r!P߃t9ҏ[LY ›b28DzGu;ad*ê44Eʦ2: `6LnԸsV@;Ϝ8*N5H5 :ٳ! ?rAY}1pW{k[Xy9DPؐ p$\ضl[]IIg}Ul(槂Zs~g2r XfT-8t߈Z!7d/ P j ]3c]|?e/4ǃ\Q4E/}k&y\)E c HFWY5[+ҠƠPOCYm JO_~g1kPQHh,ة3RaHtJ!7 j> U(2L& {.FCF+m_ CވFsҶEXqã3iƕo4%hp}G>f6cNKe(sr&A^E(y1 * KZLWpFDĩ4<5,v5[1-&6_(7 xÓL~ ZŽl-T^}t+EvׅߺV8 E% Nq ixmoiZQ Est%9yH*o*A,u׌|ЛktB=jnjǞ4ј=xQPK)r!K#XCԞKd.Pb A j<Л3w%;ˇ]ygYֻ8 [㈜{V 6ͫ3G:ܪ?b>;)9&ǥz*v~9ɮAz7[9xQQM;9хogYy?)-VOs/2gaMJ,QХO|8z{˒wktɞRRzoSR6֦^t+K`j9ҋ.,K2vsI<!β {x_ Uv]z%CN@ aΊ;/w*hDVrW./;j|Il5h~Z]GV906p^GJ؞칭 Nx ~i(_7$eb4ߘ,Q}..Br3{י퇓CcA!Vяk[XTVÍ (Lt شҡCVǑZH1 /&@k]e`lCI-2/7bE/xw$_F$um@&f4MzgZ.Dл.ݖ%qa`\W 0c4gYZ1b9ad4a8ebff6f7d5e196bfe031ed636bbdbfd30c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b