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 gg l<4 ] ZF-UNITY:threads=6elapsed=5.955cpu=31.916gc=1.368factor=5.367zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6g#5ƞ.0\ vęa01~hgƏR=AM@S̠zL}y=(7Mq H)/OSd'qX.)3ʀO.`NmI(0fl!(, Rb٭3Pݝ+Tvo.I|`C!~$g6y=9b{™?zݣw_;h q>9p UK~$j~׊꩎Ή"OzuK Rm~&$>)߲mgYZ7zXZִF! hW]ŗXiɟ9 i:4V;}A<<ګMP781S[ޮ!b:!|_jMzl2G@-Rs^*;P+JkVO=0HbIERhWX) *r3b }E epdEeb܋3jghm,7|wKo K.ڭ_Ğjop**'qz.F؍AȗXU |_g>hښ{-u!"@MueI)@U@: ^rI~Ъ0| @~ ngsgYZ7zXZִF! !]ŗXi%EZ$]EkSJyrXslק0\sLS]rqaWv0ic\#9S8=M4v26GS>urRަZH PXoQ]ƁV}Ds&*s,,smH-.D_ vuf .ffƅt!Ǔ{|E 鋧[9ـЦ#P˥iDZ %9^&Ry營h` c&&j?@>4w }015 ~f5ލ'm7Gۍ0}/wms|+*2 -y9$jS`/j5xTp!+Iy,j BgOL5OCSu"j{[[#?L9!aOqAU ˑwK {L]O mG;vʏ>cxB$X1۱A,xE#{&1_cc].هur#{6E GN6esH@Ӣ +!| CviyaS+.7`&PG۪ET2dYڳh-] 0ՙnՓ[.JFzpM.? cowe$X@1w1`[Se3$kbeC.ecwZmR76S?2?5}q\vg{N*UD!˔[Y E HYfBK5 {G=;3F;z`4N-sIJ{9p^ajJNJN"aw<3:ڧyAdX)QkO聽x+̐tCgYZbf4209a9e03cd402c28f025310e25ff5196e0dac9b9f81d4c305b88e1723b753afa9d6920245812e b5c5f280ceb34a9b4bedd8488dc2f02b8225fec5 c72cd306079b24ad5b7cbc9dcb566d81b1f6e627   ZF-UNITY