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 F TL ] ZF-UNITY:threads=4elapsed=8.399cpu=30.128gc=1.180factor=3.597zXZִF! 1]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,柟'Q o" ԨkFe@Ow`tfi%".YW$>ߞ c3}Zݻ)X{&PS*s|sfdCvp a #н+FcȊUsۢ n&\WP ⰹҦ>t|md[vVĤN*ne!~='^J{o'1UOnhoK|L=W=:ebj\ Ķy~226JH-f"ZUf#O )9(bάpw>ԯ,%O8cG3XUuv"AmBGԛq}q%ӧP.#dBj yf=m'{RƵo l. 8%WˏYft :!g_he=9KM);utO,=m5 ~6T((+xy-mua9*uP@Һɋ3"L}h{焱4#IƗk?6ICO hࠧazOSޏFH*[䢑6Z9p>no;#xΆ_rV-J*sݥB mv7Z\xBC5' -R.-$c29{/ޞdv̑Dn}9/*MlHm,Gؓyn t5) ?,ϻ3:kK7P6xO1𻙤c,:X Zk\>=\q9OLg)I0{}^>7gS:c!dO)A \ERpV _zP38CY=uvT$2""޴6nrһ: 1X @9,G}glϵJ]XX3є?%ũmWJ1Uc1Wa>ƌF$4J&cQMAHmk= W9 TG%tW+2o-G3cM5X UR2՘5)ޱ5< RDNKgkr$k:B._{N~k$ȕ׋*.Aq#5X|gd-9 a.zKcr $#3Kś@TݒpB,~I'_%BR[]Mǡ@/xW@H䣎8sV+a|%+vJ elW- H}nǘKyVZ_ktEL-ypu(_N-[\;%]<UZVz?"{Faxqp^ p3{]͔븧 -4Kwvс#G 0!TvRxJO%B ]WTZzTj&ѝ Kz#SpYHdHE|&!X挰bN}-Bfb<v/>hEnMXzA6gb]< ^"gYZec233e33f8921dda5371b09847d283573e1c4f0a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 478f2ec7d359cb940a5af33ed8bf535cd831ea80 bcb8da3e112196c77edc180a2ce459be4e52bf76   ZF-UNITY