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 * <<< ]S IOA-NTP:threads=2elapsed=7.356cpu=13.908gc=0.636factor=1.897zXZִF! WX]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_QV8^A[quw\{)ph7bNEC9\WsBA VGCS|+u%jJbS q{j7#EzJ+I"m2FrFGuK'os I1*Kak=#_4- hy]݅~s\/p?``聓4LG+){OqN'g(`x"qS8zgѮ1fS)WE9SfM9@E*:WPȱgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(݌R0kD yB$tDې`Ǯ$yE# #ˀ FO͢, @@X`7Gno-V6G%̮q!s!{R*z2 ӟ.{u1Ö$;C ғmaRu^3.:pY=tRVʹPRԌgYZ7zXZִF! $ ]ŗXi%>gU2Y_76'ƧJ06hJHw^El{h)`х^7fkGFfN&gL̀eRj`PEmMޤCeZD>Cgc-]SZ˝^Y4{}4\8>LXwG' x5κbs5&'r_0chǝ60<HpOn}Rlj +# Ø<[@xǷ[5l 46>%k,ͨ{qpzra;4 6";u}aDW 0gg*ZvC-ޘ $̬b_VT|bt b6Iױ) ͱ7WEiI/^{K u\+(Gߴ.Ӵ=Z͚#=q9v߽0U꽁męNR&4nW%*uc3_JnzwK#z?E4+VL8:E21s@S`Xq v|*sLɨwI=A0IiՇ[Bqmj#ɭ&'sc3X()-x:vfdAXu íY%vo5 8W@,4q-V'; kIyoZ;IAZ܅6!p93|;kL8m>y|"׸#]i"SZh 1ۣٟ>A\x1y)W Q9lAXH RٱgYZ18ad05ec0609067bd2f820247e1a4dfb8bc0d2da82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 f29285890d90514961930a02852b651abc8dc0c5 2447c9069107da3aa1cc2e2cf161fc4a3ca128d8   IOA-NTP