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 aO 4$ ]S Noninterference_Generic_Unwinding:threads=4elapsed=18.098cpu=21.892gc=0.256factor=1.217zXZִF! 8]ŗXf[&zV 4gUMݠ}T|-)֍GoB'`\R(5Fc,8h%y=w\<ٍ:r^=?ut>iXeeKeh 3p#(^,B9 :#FaF dw}ZsA$r)ǒMmD^Q3QzT Gq); 攎*&JvȐ0, ʓNu嵑syszJ]gk)8t˿z,"-%; ,.\\5 &dp ]Bpv);@_8 RHj7jO;*fT],Vi>sZɋA\nQǟ̻3 ] ?1l?jBAxq >Pƥ)PϞtV uG."Q敬en Gi^]Xfk8nrFlLcLNX΍D3d?֨?"㕄|#pD(u 3>)֝&t2 gF~R#L Zx>>qfB n  gM+Fu*C^nKݹ4!0g#Eǡ3j|..;}Z-30t3=Ϳ=hO! ̜>oQR%UӔf2qLՐaS[SrC"[= V8)YaXZ+FC"F}w'TVa%8{%<6né^%a=Q n5)ʕA#o )N[.v-3 @yP./D8Ro3(t[cvO\Y{Yt+WpʨA(Mr*=& 7țxD,V690" %Z]2Dth9_+u?{WaVD {v)]rfR 8*$`Qek(+.^)h'a,Bl>?Fg؉7 *K{9HlDl]#M`*[A<yPy퀆8Uԟ/`] QuŲz5#PS"(ENC+&jΨ\WUw+{r o é ZJ";QSyGCzR䑶];g^ciM`6A~½*ֳ3htYmN0ߵ  8s0Kϯusc7Uac$L{2E-a?;DQmNӷ$,hBɌ3";漭 S]HgM5rvJb}Ȏy"