SQLite format 3@ .;  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 lD4 ] ZF-UNITY:threads=6elapsed=5.992cpu=31.864gc=1.200factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S#5ƞ.0\1w_6n9' C%U:mB w0>d`?>s4_UWA ei&ހ.x'ZwJ I\`sYoJ_3"ޮ`hK>X`AW]Ο}bRPl|d2"Lx|4?{ b;RCzt*$ZM|yh(ެn‹؜F\!Җox:n [BBk+߁Vӟo|!f lZC5tXL WQ$=&7_}5jñKKR La4b8eUzn`c@g6/D ɠMwN'6[ֲ|zq]Z28' P)/IбgYZ7zXZִF! hY]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8,G9;^cاp=ٖt.OD2NhM=8;/yuC uV4 uWhW<Eׇ$j{Omǐw޳1"#*^n\J8k4励׺'vUT|漖5h.MO>c;P}@? Ԗϟ})1usل~_pM|MDFZX8uH (Q𯜌,W=tr s*ZgYZ7zXZִF! !]ŗXi%J J~1j7F+9{EjKϽ 8xdyIZ.Juk Q^aIwiXUmd}Z(K>&W X]m}Si<efҗ|aGy0ݝ鄆J;ȯn-}#4"gu+?Pij*,$ց,TFÐ *t#q`!s針~לy5Nv #Y38éfgf]shÄl /8xA {8]`Ն^ h5LeA1Ag}TH W0H%J%nwPqjfke>EiW%'OtNY0ȡx|6jELƽ rJp4;8䃠$+_?)ᙙ*"ˬ3gZ١aƶ\yێ8s.B&={7NMt tsP:Mى>.ux֦9>wq#m^&zmNP ]ף(}}wSU#m8zdzS+ G&ՃKS]򚃡lw@ġ!uůnu)P+Wc E) fLl><s>U^[Å9jsRD үetمaؗE؈ƿmHJjyI6r )CK,ıgYZ60b78935af9acaca22d43202fb8bbd0d6d8d8a93f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc eafc37c4db0d2a07508cdbfb87a5caaf36b859d2 d412a6a1d904bf723aaf5699139f88f57c17bca9   ZF-UNITY