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   r Td\ ] ZF-UNITY:threads=6elapsed=5.721cpu=29.952gc=1.176factor=5.247zXZִF! a]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb: .4 cV!җ<~NSOG\alimBPY@ =uٷͯ yb'l#A }!O>\/EGIruu ^GeCjz3"!owy('c/h::c umҨ%Y.g4|:7`NbX2yn*bG&ueD{&dطo!qe-[Shc sdSX ~O箔{22nV{'wD/"7Us邙^ͣV) A<ӯ +"=*f R/a߰)d/Aw)"n"1O\VAX|z~jtcl+x,Ql*: {YNݢ`CNcLڛ^p&$_ !RI(E7"T|E,J_+e?Iqpvp{D!VyD~K$=mD:D8VjӢJ*!S̴NGUO6f,~A (в`9Tum|sxK45ҔC:X+# [CzøHg/b&Y W*}_80H<IJi'ׂLHb։'YX'5ԐgxᑻeZ9^r`lSFm(OGYrISSd&uEI9L0a_4?  +w[A$27)dy߈};j:gxA6^B@J +!c2$03DF@(GB :pozc]MOO }dhX&;1-4¯+ԥBjv YEbȞ U|BXHKAh&]Lk{ {rvBP1hûn'f>#@!W`V#*"p C6Y{6zq\߅&vDP>9])AqVهQ?hČaaɥf/HzzN9}q¶Ex!쵵Y5:,}ZV}TyKw 8l}Ť'zItTvߡ&xx!>DVpgYZ9cf9d8b5e69a5d842745a7d1c8bd4d3ac0b9fac9dbc373532a8de37e9abb2d2b3f29c7d794abd157 3242f7b44414b0e34265ed00450cc2a6bfe8a33f ada463eb9ada5273146e5fc5caa0a6f55ef95bbc   ZF-UNITY