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 ww d< ] ZF-UNITY:threads=6elapsed=5.847cpu=31.624gc=1.256factor=5.417zXZִF! ;]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b SJuS4EGExc#!|%UShbsDq^b*^tb&X  V]Q!t%{Ia/{! v|{^иY.$ϏIr$57QG4"p gbl1Q48g9?ZcZ,n T 2ðӐ&8jl^[BKw] [?<ȶ0 $@7czLxQ5r̢C Bo_'OB!"Dt?p֣~(0WL 0pg^@:po1HS\ *xZq~X(((2j+gYZ7zXZִF! hX]ŗXiɟ9 i:4V;}A<<ګMP782PCTSjh*H?tZcTrx4y?kќg 7/h 8(T!qf @ć : FFwXK~oQ s=YC!d[asGy7{Pr^53wK2aUOZOA/˒KuX7q Sa$J)*ّG7V q? 31c ?y>%9%j% -\K݇fgiDi^K+LE%jF2 _H]O" WvgYZ7zXZִF! !]ŗXi%E\ΧFcb[ܬ(ŷlWuSvZK;y5Ibq'ZH ،*sN-Qb`&@D*`Xߑ)2$(^j4 ɝx0|1bǾ!ʌ,>BMdw[hd*8 Rqm 鞄b0M?k;>u;3oG]hޮnݙ~>49Ä^&J5`FXOXv=9QPF5c5#~ 8lj.O۶AVd&դ GBQɱMl˞%n׾8 ɏC>E7|-P3q'a'ub6H`Q_˂9X'jd--x AUz)jb\WFCqreDO6wvaFb[J]NF^.Ds tak?_"yZl<_ńj4ŲԞĕQb: ,/sh*L'~n)I[KWaF#Ā﫻 ``9OLXQPR.~*ƈbvLTP8b0)Zav6K3*%l58fy ]l%14<]6s˗+[a oL=!*>ۡ˯8]gId׫W'a90 LA U>Ɍ b 3{r [7n 8'vj6R EO;g!<xvM q:TWH>AEdݽ\_d nnQRUo%#()-Z.mh&IFClO:΅fP#Z1abL~b+$SC2_kgYZ7960dd2936d839592f118a2156ad954ab2ad2ed34bd67b285979e6f43cac76043955b384834a2c80 94499530d72c099d33979a9864767a5a485b1095 7687e568d55bca4975b16c7b1fbf4290c4aedf8e   ZF-UNITY