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 ^ L ] ZF-UNITY:threads=6elapsed=5.683cpu=30.200gc=1.312factor=5.317zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEwYnw-o`-PzvX. 5Fl\g5,VvFy*R06d`ygKI4ܻ1-mr^ߛ)ZXkq GD+.N|f$Rm-$Rx( ©!XsY Ty2J2CAkX65"2Il,) H$H7CI(p]48n3 jgytnŃA䡒OaB;bÛ潝ǖ/ 6Yf<'\<; #_OFW,}>zg ]%+o3PrL1fw9^ sA ޼6rT JS.Y)bG@P*ʩDY=ȝeB@1c:tŅqye5/֗2xNܖ7r<4NT*n*7%U=sa8bBIրu5I_Ԥ]̶Bd96^vLSԸ2jJ r,m`<8}mQk{gi,n%zūgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7f שOvVp,} p( Ԁ+Jk!@ha_I0U8# : fd)Ek1m@e/0I7,bTssz[Lm _]k1Hᛄ2fwe9l+Tݰշ(6Xv[4+^ɠf@Qؒ5L((/6ٙ)}#0&BX_6o-62_Mk ~ʽ1,㶎df[jsL@@-z'4jbSܬݍ%9M Cu8Tʴ %}gYZ7zXZִF! !]ŗXi%BY8hp1 ?`-8nP_9D!i>@NʐK-'&dv+w߬2|DZo~D 'RoUx A!ј[Nj=Ij6-m%\#yRdk~uo xFT$ єXө mF =m<>hxEoX_2pãHW#V_NwW(,?biMrŋ5߸/r#z;\Buuiy\]L!/mw81]!bt"PICj&Ƌ#1 %>9]"{һ}9)N{ҵi0 e?oKM!=Akg1rmu)B':'#^=-Wq2;[~'~ 6NUb( ]?LB͔PXw:,ik+`;3} X$bxQ^;Fʥx,>ja/MϋˣtU :dgؗobTƫ5lfݲ4\6#Ӯ[+0U =^!6 Z/ηt{[V5dms\q-28<ˣ:p=eC>\Ld = #seҌ$Skvq"._g)Y GD!S4me_E"ע&3 uB@s7=S*<C!37`x:T"8NM/9ZCEYgq"^N5^ʾ˯0'~ylX3%}aSݐerF8`hɁt.I9: EC]r*gYZ2cb8161d2ee14992bd3be8e96cd338091dbbea583ec2aed6e56052c24ce5cac914b0579704df917b 99f150319c2c0f54a4fd75c5077abcc76f909457 b9305ee229b08e806e865ba65cbfe5e8f3b260dc   ZF-UNITY