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 l< ]/ ZF-Coind:threads=4elapsed=0.658cpu=1.512gc=0.000factor=2.307zXZִF! d :]ŗXiɟH)0%otmۼZc͑u!9I5|Mq sן-W"Z|LdgTbL.?ǡ+uƥoځtD{|]/*$#b?)EP-=ƤݴFg 5!$˟{ LjXwb-3&*!f9<@:̠GB%[R@#P31<h o M4& m H' ͱvwW@&g M ⿾K֑sBYWKܺn:lk2g⩒Vu#&u退L<5C-XPe^#4U0tyzaݛتB+vmwp`_T""Wu`ƌaۏ.U*$lR][QO؄P$7냹HmxiF琀|1 eR<GZM!9_7,`Xv gB:=]o cN9$紉Q8]? ئrq=N}I8ˎ>zz!V+M\:Tx"mɇQno[az&fY}j/4j%lIH$+\*X?W5Tt^|V'Doa,bdG ;ehtBlZ"KCr 4:p.YS:Dg eIz=!ck2Qy&2>@-y vNV녟wڂ@!LÖ%zWUrAltxd@'dGL,`rT2TB*kZZH}-E1r2/apjִDx|LHc,}-q5gOQ5 '\ `'W#Uԩ'!*DHz* /vA:6Xբ6@<"`$m <=]|~8!=|ŜV([yhg7~"fwD1{~ q 3oׇ`udxg%|,_Ea*hU~v&ZaҶ e` cKtqu3+-[O_Z_{)w CQ~pTv.#AQ!)=UIpRH8wMdΖ9y.Y!V"KfPY!Hb g|K[ą}F(*$*L&=VuȭYMz˻D#[sc#gWۻS!@N/"fӣqudtvyyؘʈEdse/=j7odnĕ`1DE1>y#[Km 'M8y=T\Qfc gYZb70b8e159dc07082fab23b1eadd84720b4b01d35d3f90704504dab3f9fc94e3d143d1180eb260c4a 9bd9db223d193807b1f68bb73f5537438d614e3c   ZF-Coind