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 : LT ] ZF-UNITY:threads=4elapsed=8.457cpu=30.288gc=1.068factor=3.587zXZִF! {]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1mqsRHJIvaCcēḈkcYEun}fwئtH`qn3[8(VB 7>+=~jӻ p<-wӃHuI@tq ?-QuGAuU${j3(8lA`0@4.l |Qi-{}_Te6H̄?9?#ćeIG~Ł,zO8AaT'E:H"w[&q}z,,*'&ϐzԕ€qI}U,N>rL5ِlX['nx/"*c868)SdJc +Oȩy4VWV75C$NJ dѭY#Ꜷ|gYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP78A* ~NG63!A Z <hka7+1\ud|RxhIgpe<[aboC+ws6!N³Eo [bٓLؠB!DYuy}8EA¸]ΒK-^&E7w”*s,ޚlo&\`x]ndN6"ɔ{:V(bSSG:BvC\ a-X]o ̑u g_gɇ\d25}BūkO)\gMk8z3?C2Mpdٺ(2&#8~KӔOXpivhطO9Џ$qO+ -Jz*PAJ9AnVXM.[D Gr@??7kYc=f 'wf;<&PqsFn{~V2sM;îD o,?όxpKl}7"M"vo /Cdyvg{:򀼬 ~ujtW ŸĀDv8-)ZC a<g܉iCǣ ީ.y$@66cp(ղ븰uݸO  wDUmP^t%D< Nu>h}Ի, ;funQKy^/l;nR3L7C d)gYZ6c0dcbdf7829f952ea55fa621d52379720c6003b87d722a51b70602a06e4a7b7d793ad6a8bd08e87 71ece054648c7677be1b389e68c54bc48399d8b0 6164aca63eccf50666e7bf8dcf71540e0700f1e2   ZF-UNITY