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 h+ D| ]/ Strong_Security:threads=8elapsed=6.879cpu=31.602gc=1.170factor=4.597zXZִF! y]ŗXf[&R h V c?D:G=Cng Eg]xlf4Nؓ-1|ΘEbI&Qc٨u%>(~{1XuoӊZZQy)^NB RuGW<эz 1˗-#5<:ɶRdA3?JIew4F/<Cy}1ÜywFYz66B qYy:K+ix`#r-q} 8JR"\.fohzK{?Wr$EsG}9,,R1j_#o;05 Αbl3-u b)NtCNQHW_ڠ -Uk/ U#$BHYyꡑݯ%Aus(ƿ W lHJV5#& n&1"*ǤP#z*"pFqxa+҇, r\0q1XA*tlȜҘD"vbKteFxyP!7f |͡)GaCYS " .ruԮ6s Nh7O@[9!bz%lgYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#p9lUBn/6Sl$N[H'jzOܲdW"l}/~cH_tXʹ5'"'-c8])y_à5_m0aՆQ%sL{1qʄBћTf.5^7>IGB' $YrD7!;\gҸՂPĖ o0Aig ^-"zWFAv.B:Q5:gYZ7zXZִF! 57]ŗXi%>rF;P5:q9r =`H8&ׯ;QD z>*)%JAV'I|?xZטP| 'Tл h Ha1#N'5$ސڱybƳ.nd)̷ԗT^C{ۇ]ɮt[m@y?Ԯ,bOo"'sD@ykhFQgOjiJ+=>6w g IXw[uX^8cҭ4'7/Ro0iub7vdnl: t`HAq o 5?qdWu d*f5K]ŞD/'3ěL͠=!IRhdw-ZNj3)ɹ1~S/ CO<=Z792m#4Tvdyk)gYZ84523c66b6f76a7abf58957f3f4ec0d8efd8be8cc58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3a + Strong_Security