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  7 7FG |d ]/ Bounded_Deducibility_Security:threads=2elapsed=6.255cpu=10.436gc=0.516factor=1.677zXZִF! 7]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBȼ=IsGg ;(Q[ǙR_c" lL)XuTc3ҟs>0^5*h &`d[8j蚲̘+t n[W?2m%J*gl4k&6(j&2 3Z h}ګ\+mEHTH>8TY4IvgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>F# k 'r;1fH,<JGP2+u  Qo@}CTy6i%*w=n$DFdW_l"}0;gYZ7zXZִF! -<]ŗXi%;3 5w+h?jTgBhц]h+cM&%~#9boѫwVxw.Fr޴U.P8&{w]KBM5CI"Jŗ/'r $瞠Ē0&(șuUܽS<.sMf[\7K~_0mL)d[RܕZe&B2VBb;C Fy.UuRNl"X7lE t6VuqYtkC&2Lwl>+ NU_!ʇ@s~9o\wRmG'ŭiJ9N:dCo?~C$%/نef:ڸ'ؕɛmO[9!_ 6lޓ/"MX\z(0=jwcZG9ի& 0&v?@r_60U"xkNI>ϧ yk(G*VFF;C\IX ?פbtC wKnכLeOK@ӻ'BVFZSLN*K-=p2׹f Ϫ#>^zbt_o43P$^29='U"Szil0퐭_+W Ӧ/wv@Z̯˅֔T_ȟ{߻1t`3:R9/3 D?0mg߱/Jղdsj/薽U2T:G"훁