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 SS* L\\ ] ZF-UNITY:threads=6elapsed=6.010cpu=32.308gc=1.476factor=5.387zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S9,b0A57;kN%-l n(gPYI CM1)B[uo.0y-H-= r pERS ݘ&?ɰe F#g@9a \s@ }L]f+زzGZJtFmXpfF Gyl¸OK=iGj]%t_xE4yݶ~:)&3ceD{2h_z=|*`n;Y%hwq?Q^.qcl7e׭q6t4(DSc[Ж™S- GL:Q`AWi 7s66C?q S B@QE/\lKKmh:-/hSIwUVxb%WKYIG]배ɹ_]<_4'=T,[=iSnnx}6),&nR׵a8=4;jgVTD uZ>h4-hA@m UB#$ 0oL %<䬂׋1j̽)1Ę.elnaΒ]߲f[ =y1;jOx;X~G!0^@1wV7mdE{dKXg쒫9y'6wR=@/u6ju,fTA80S4zҳ&nr_[\ĽQޖWf!<}1SN. 1D}.80qkjaL-&T6dpefr $3|e~zcf`&/oVUBULSEUA/] oo#+_ eg (V 笀޵'_!mٟt@;dɿuسǁGے>^&j*4pn?ez[)zDO+c?*3]Zr,RZ"]F%^N W&ԝL-ϚH⢺IV2CGl=9L}k7bdY.IN/BeHαgYZ411045bd27cfd092ee6bd63d6f4503f908c814cea255efa1aa457bdc2434a521272c906f02d8e87c fd0ccdffa1984b007ffe5bdf642e8b6d54e68b10 b0b80cd6477dce2060db48f620d70c45556b9ed5   ZF-UNITY