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 77F tTt ] ZF-UNITY:threads=6elapsed=5.928cpu=31.628gc=1.272factor=5.347zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮs.*^&#dS'%+N%Ob9 @c_bW#b+)V;ŝ1{hljpyuϞW5) Μ*чл2C[s@m@+UR&E~͍%XZA) uD9Yf2A8Z@K3`U/F2XTzNAq c<ublVoXv>N.GNbNԁp6kĶ~ +T !zʾUz)gYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP7i_1e\AԥhSX[s0WFOGۏYa6O,ur|=C/!HȰSPFH!WGGs1x 1jDBZѴM<Q(Ld.ݮyЇbGݒ++Y. _neve6+$k[wpmK CJB :]vQ`2:lE(˜Xgm ag$GF{u^Ԍ]6e~529(I1-}JN9 gYZ7zXZִF! $]]ŗXi%Ix q=zi %2D d3 xu8WK> yg :' '*WqyC2j3rߜI&I$y hF`׸RymrXRSsz" "$C){Nd>|"]O[p$oکDg7[9p[%6.bʼ?͋Gޤ=ɔŞ]ݚf w1nPsf(ġ8$_--̡r3XWQ'a+\G7zE55^Q f'`,7z(rMzd43'rKۛ܅,SNdF*PQ[(=6[Vhfha w Fj!Մ*[ppH&&NY=w\De'!Ig8 ~8 KBٷaŦK<rTC/r(}B)q݀}zHدe.LO}V/F-K0%n^ߙs_Ļ=lJA=]ȓHfogYZd6a9963a45335f44346b7c083bb0e3aa5ca7ad3aa7e1bbd16329c1f97a9de9d6266928053862babd 926f08cfcef94378392ab46eb007b901ff8ed6ec 623c05048bb4083e831205bbb0c744ad1ce883e6   ZF-UNITY