SQLite format 3@ .0:  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 oo# $ ] Shivers-CFA:threads=4elapsed=20.012cpu=62.624gc=2.188factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V$1MhTcX0_$6K4gg>ʖg%p4&DYH/]FX..I䯠J4po?*Iih/rjҽ˛@ÁsS |``ވrc<>UО r?׹*itc*+p}.TD贈GR۫=ͣ0n<-)i T,^3җ S`U+»I U?dh9F|4TT\`9ag$dT~ELN\yDY:r.cWDW}Qz2|#k)՗¬Gu3"<0fpwǧKGT}w|TPwvI`9F<Ո㱼K~𖋥`Ejb{~AköK%C[m(~Xrx xں\TBSu+":ǧ_G̐Xh .>+?Xv]} !iZSrK+8`>aw _֣H ~1 EM$hU$ -;₸O9#;6 mb-vC ہA*ٻU}_?0t ִ8.ؼ=H99DZ"\jڒDۄ*;rgYZ7zXZִF! PE]ŗXiɟ1˦rnzx <@0+gMLG -ea?_w~r=-Jg9i||ZlLr,ƈx, ؽL+.KH8zV/Ι;T*4#ɗ31f*cJ ws^p&}` |W WroA'd2g"/DKZOi!RZCY 둩m(tO%fBK)(BriT9 dd֝=~>#rDm[vgYZ7zXZִF! ]ŗXi%ES3Hftѻe<"9GxWD-6âkZ$ cف"G/o|]gHPeRK\1vR6i a/~L'&}6;c7_AAJA"slxE9jp]#RqNg#M fUoq]M0f4Z־ugQmH30%_ >}Caao} -6M JKX',Ho?}Em//sbeO99p/+=LSd'sX_",H{i@ B~ 7F)NIъn$)6ו \o{I#h\9v#H<]G٦,U/vouGxni5r^ڬzW׶W ~|Nc[UL1ke4/L잀^R3,|pc88[ICEy; 1ç_ 7@`r"G lنU2E֜jRD./r褹;2" ߩEF5t-*ϟo9,o`EڷƒsQ6 .N(*zՙ+IP6&vfQ3PDv >[V햤3UsfPt*K5B)oo%2FS7& (ثhԭTR,:5!zR~ݦ({Ĩt,>4b {Px8"x|7^CA}o^^-hN5K.͞T>sjp/Y8BaՏ>nK6 WzXޙg:[cN kTn/U^i#RRa&Wb.^9UwNXά tl;7VHmvXe%Py<$N*MB9Ū${Ǿ7Zq|ңƘC%ۮ$E#ԍԉ6jtbj5^}96 K߯"Ar Z%JX/rĜ"mkorGDł2$sqķ'Tĸht!pTip;.1Fjh)+I[ !% /g; f%Q7gO`HCn2{M8LEJIV5TjFڱ 1=7>q*aA`-C27!OQ-JrA;Drlu~ 7lhTӻ.ȹSh?9L~R.$bk<8f 䱉6TS^z"EtBc# 4tp#ʲ/R K۬%_o0 Oc pؒw;؛7 0 g𡛀|hbt(MB+曄-3&ԋ*%{r!۳]Ytm4?Jm}|TUmnYLoQ[4e@kIzJiUqƎ[WA͆D;-6q<_6-y/LCm2ƍ`θ!kYRpgYZc3767c301b6d154cad0bd583d1ca8ea22805687c76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6 # Shivers-CFA