SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 6 ddT ] ZF-UNITY:threads=6elapsed=5.897cpu=31.248gc=1.352factor=5.307zXZִF! F]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9:_\9s4 F$gHY2XH|w lPjsz[j.Aca*WT'0M+]۩]>aR;Cg ιd[--sti㯑8@t(+Z\ )e ܢPn}fN3lvaI=*4IG$vGʴ*` #"3{%VFGj{P ?1Ȋ~M 88 ۘD14\`_[ssX19/ 3;-nwٜP΁?a;.f5sJVK`l.ЏuBk{&qbCZ /^`Ty9)8n ЬNOť-nh|h-, c؁BiӠwĬEnuQz4P8߮LjgP2VCME3g1x!y"(G $>!w"4۟)Hݐw1KzX6C $ϒAIR7dj +:T:݆Ú<y]m]3,q޸ޫУ?~!j+T)*J;Z5|iցDFԶU`E; $Gh &Kml$F,53Bm⺎6zo1wCܧ v}.cw ]0/3A.!m[c> PA<<{U_&~y~YcinۍFo8;Kt!&I IA{ wҼէR1hPU?Vgxf:L>m>AG/%F2zMjz=Q,5.:uO[͈&x4ݨژVU=ZɸyE]*"v׃Dus8X6^V<ھa4!i\ *!.J,hCw7U>(F-CR%Bzr$g~()MҹThc߈˙}킋\7"gYZ1ecf4d3252f1c74b68c64727f685c92546174acf1a50fa50a5733030b299d3e325bb45ea88e85f95 046e4b61669a7c18a63026ef0d66bc65718d5155 c62f635bc322e3ab1090eebb2bdf484d670f0946   ZF-UNITY