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 cc 4T\ ] ZF-UNITY:threads=6elapsed=5.879cpu=31.264gc=1.296factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jbvF+%.8Z:*ٰiT.ruZ/W֍Z2X$&JxudÇ yLRs2 G1q)OQ8$ܓE7IS|B֒z_&|f`өh&&;%!t=D@^bK2j|F)1E) 2΍s s@y.qn&~QjiF#O0cY>M 9PcYaA H g^ `4?%հWx/(Iz2Hֳ6nW8yk8 t?Y#$uSƈ񜠜o[h » e1\ &^t{9"t+UʩNo +ɯGwaÉ`xVhw ՙ;n$FzY*Ǽ&|hxAwLSBّdLXCKI(([d $(E`jpkΜc|N@NVW{FV 1WkaPȃ0*?,R2"lE|;fSY)v e缿MPn#NY}?_+YkoIqs&֛}ZbEv/fˁ 7C]K)Nf]eo&N.GD6k2#j\鹖 *CKC" ĭF,X8P|Дs[gQ:mE$[-]B/wh+X+!=Wk'g" Ϳ#%8V&=tW~HkMKGAR*g[O-^ʁo,771P'vL2Պ_ U(~8UUWPk]&zGE۔)Õ98o_(1}V>L狶=C,ֽn!G^ܜ;\yrjO8K2:sS9BM?~B LS_SW IÿMVpy1p 2? !q4,/ RYz3@,}^o!n#t7fr;vcҊ rhKŅ[i9Ig]NGCLgYZ5109259f89e1957dd2217de993841745469bdf6acac5d03352e376834a77ac05dd893fd2179d2522 58b6e7637726181d28f512a98068feceab04c5ab 788a99c121ff75a4b6070c9133ef61b9b6ab33de   ZF-UNITY