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 v L4 ] ZF-UNITY:threads=6elapsed=5.974cpu=31.656gc=1.368factor=5.307zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEw9^gY% 2vu_zki yvAw͍NZxT.w'=.B ޵wPNK3JBE=V%~d[]Ljqy5fyV`WK=a +ɐp]#~6;r (Sxͻ$TzI悞i^GJI2ZG<\{[Jla3چ|9$*Ht3y# H,$GFIQn85@gDW4L$=gOvcWSGv3\ږjNAkiRtfB})`M\JpV UADKE=Ǒ/+#=΂c۲腊L?`Cy L4g}B:-/\.& 1B5%0d.u{2֮syi?$ ltn)m1S^ϕ<f񴪫 L\B >wD;g{#,RB srg%ld۬gYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ4(4DaԞpʲ*UAP#2/Q(nk!whޖZ(uF~yC|Jm@q_B1"fH)4VwNu9MvB#z;"0=$n.=ڮ1A O㷬!֌R0*f_]9U3?''Aha1^aDyf%t0r q]@#or˴ۂcsW>W]Va2ySM5h .JDc,s"ato3;  6]ؼDHKu>Yr8*v r 0)vuAl ڒ~<]Rpos #c<F ~&@-*B%wsl7Xk@=poC,(yns$]?EDV [0T;*i@ Aͣb$V72L4Qh3Y hKvGNq~mb{QWi)M0pƄ `Q~!Aֱ\sia4i x5>|ƲﵠglZ㯞u oR (|{|ޒ3şf=Bn!Y ȷK{:v]q-"(.p fV%y\AK'7[VUl\p =\e[Jp1\,T_rbGkİ Nq`RG?ɌΟbTӪ HܰbhKp4oO(ל96عT* ) x 5ؙ @l3m{,=[bʫ<3ǧ#tyx]1#3s+뤁ޅyƚN!JCZJ^bZgjz5Alsk&N@uZИ8zF^l_wü)&uh"//=4e0+*: NFC4YgYZ78bf173103c3122a95e0b523aaf54bb671c9a9c3a709d2accdf7c7879bbeb7e5998f5ada145fc66d 56a68728a81ebbe0815468b873ff1943141c66e3 a410b462bec6715f09628c02cec17d43b02bc207   ZF-UNITY