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 f \LT ] ZF-UNITY:threads=6elapsed=6.065cpu=32.128gc=1.232factor=5.307zXZִF! 2]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb:N:-ldT|ҖBׂN=I]dXjq;Mv?DŞmϙ,H`Lb@DQ w͵^Le\72rᅢ! 1n#tU*{ԌŠ$6]8 Z4P.EN$D;|B+=}4d/c`a /SI$7S+ZGÁOԛ0Dٲi}Q#oX/6XW:x) ߤ[bc ]P:(X6j19?kELCQ',R + ܬ5/6,cvN"cE8v)C9PdeYؙ2?7j0"CYUw4s#u*<4@nݙYFs:BHYfMzk"[yGiRV6&,v.o{k6/; w.ByhB-/t(2O`ȗM3nM阱It!|l3W+p,T3%}#ڱ5Q U)aPqR,la.9j4I8շ߈._NG (> ngYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7kt2&4J `,N(Ťn:)rD CqM6&YX2vvq'ϧ y|Ŕ4cTY!3|y.A0-eՉx1K"9XKzD=vCaL. "`J,c嬱.izV8We.-0*G9ɕI9&\&MiʪGhfMϭ̺O1Qm`w} ߺhX7ڍ/K(TGY zb\N9@ D-gYZ7zXZִF! $T$]ŗXi%J6V%̊vUeWjBep L#?^`FK! 9,< ӮJM0N Fv^[bx`|9*U$Hi ֞@fb,>loOteȇ#! _Ln%ֱŭk=/|m8 +2}`{"p5HT-|c4Ϟܾme4ӪC3ozM: I+n} &orA҉MqKu@T+u-7"[3~&NLߞmDJgzggTK˪3l@iayU w_MeQt{̠oyt[e1(*\2̢/^UcX9u!r2w%~P:MWZG$%jw}vv7kvNy)0bJۢ%Y.S lf}!]F^ЄfȦ\ h"ﶕXO41 0CBSdi{ܟ1*+7iy[}Jb1lZ{1Ra^H)⯂h S"G۶ Mԅ0?*yUpmߓ7 u|$R\Y0g{4mKN k#kL0]>UΘ=`7!]d>J6 HhriE|L!M6/;Vk2%G8IOaͫu1@l֒4C{F/y8EtK?#K9qa-I18f0P.ك>r#(zk) k">A wj[tN