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 ww ,LD ] ZF-UNITY:threads=6elapsed=5.632cpu=30.476gc=1.212factor=5.417zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6C~Ão g?(F-]kҡncS8'ơ}28lһ9%zr~V#~GߵZD+V,4Gk]I%R3¥ (&ZfZM„1 !,eU]9*Wևw`ڸh)QYd<#epϬq~cW4;P_|[SmD%]aKg5ڌAmb89͂ŮUxbgBI}?S/t͏)u&Rʁye)`uǮߑ+"2^a\ԨݾZ%׆xs׎Pw D-gYZ7zXZִF! !]ŗXi%!{v0FQ7aNt}F⋉FC;ρ?k7"3ZXaT6]).GL/کF(r`w*NJ S6Ɗ]LleM .D0`ZAJ=dgVt=Mܛ~;r*RXid*|#0Y9o(gdܽ/zn1`R)׌s=.K۴:bdfٱ7Bb~c1*V gk."QLΤ+a>bVQ?v(^_A|@eH8ܜmi`>_(,YA)3 >?, )^F[D}oc>]TV4[R?u0*yC3ca WT1@o|abڳdڃ.}Pf]]*E4,Q}Mo5P 屹 ŚT^4YӾK3I&kP Z<Lú'IAaTFZF=ŊaQr{S'0մδ-L߭<əXgdiՑ%MvRGF+4\-@}c Dc8* _^u:lC*99C $sK|3u* ,\_5cyM5ÛL'=tSr"7i){%x>/Wv!R (gLįnOкooJ;# G@yMbl+;A1­N!VAkѴqIsFIeٮ z19pB${nG]:ȲoN=gd ֓)F9J#KM?9#"C) gYZf201eea87c501a3b1501214c7162c536165514052922a9760d947cb0cc8b078564aaf1bd2d436941 280bbd8029c87d8a41168973ce5ad6f82a3c1675 d6eae5260567de6cfd55a588e4a97fcbb7fdc1a4   ZF-UNITY