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 f tDD ] ZF-UNITY:threads=4elapsed=7.833cpu=28.568gc=1.228factor=3.657zXZִF! r]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb;։,)rH{p$oĖsmd}hyxzղD_Yh2lG'QAYI4mN+jp/%^Q@0OAT_\Ztà;m5N_p^|F?}A5[㺑Gsϑj,oX?!b4{3r.6, }OM3W`54zjo~ҟxzeRwPǠ; !x34DfOq!{XOC'vN۴8MC k=8Q 52e8B4)ũ.Lc+$W lm E72^ws\g wẊ<B9ԒE>R_4咒r͇Dv2on`?_4ND \kC&X/pp+ `ľQJ\ހsI M9 ȑ\&ɥKk_GSjQݿ46p˰KfWI!SgYZ7zXZִF! h[]ŗXiɟ9 i:4V;}A<<ګMP7h !τbiJ0k4|{X/9]ri)FKZז`[C(H2UcJ~pRd/_km.)zդ73u^L@nhbZq6vVvk=$4%ZQ^#Ƀ$xlldtiqmX#œ[ֶ̖K=Uoz.Ɇ.!A`guKZtoZm'fӂzE0%(m%a>Й>u|d !c(8zq4!?B`,YNw Ey^ɺ sr I3gUlIAdU2ĊwƳ:lEH͐  Nw):'4wx@a{LnGh6YSPng7g)6y{r~Ve5ٖI_N}GڂJ&[B 8%7x36T~=G}pAT)޵L\k)oY~=O1'햀^ z;Z/"1Fj.ӏ_\Ni[k6L4?wmb/=t-eKgܓTGgruEfT`܊O5=&ݞP{'qz>0UXF#@Γ|K+Jp#΍YJ⚦]\.@#c0Z&jVjKe֑U-aNuI\SꢟM4 RE'|>;w)}$JanHvLo̯Z BG |T͏.#Oʿ'{ K"^/&Y)j* (2p!vkHusdNYkٖt%/A(tRN]MYr>mD`sÚ)^ۘ`v(j|~N GA,lA8{ @9v1!bi{˧3{T;^Z#gCt^G4[\1Go֩, )3Rxnn _lRem㤕u<$ ΋nvv\8bmizS S ~ӐaOY4ұgYZ6dd5bbe7cfef2130e92ab72d3fa8353d23b6214c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 95023f8e4f82152121b61fdb5c3df7a70cdfe7f2 287660d6af12581b5d04e5c2c8a623ec51da2b88   ZF-UNITY