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 ss  ||, ]]]ZF:threads=6elapsed=12.291cpu=46.736gc=3.332factor=3.807zXZִF! ww]ŗXf1-) enȈA"tr-j. ZbNVH8J8ڛ4 GuʪBL]6\b?Dݳet7.沧YK\d"^a$.T{̚n5E'14*:Odgwׇj9k5 y(E^N\*Qno/Fq gYZ7zXZִF! C@M]ŗXi%EZh1moO,:Q@i1Ʃ~/j9Zh*v] h~cfS%׬>aٵ9~OvYM7;`^o8cZ(Ude5tus0NJ•ʆcYp2u/$HuGuIEW%-lr*z8Qٟq@ʢxLU cRgw?}j>Z S.޳y暚>1`x2cw r.ڬ<kIDKs_l= Jv7s)yy?dtr .HeWæW,&ſFq߄k=]s,q alpl}"6k"#iI 7GPf3'pST+ , ن98.,/>KXE՝ɝ{)IwX5DgxX"f<*ŬpfEqISqpwk;}`4NKܺÅ3hʾ|aU ;30I#VC ƌqlE8*0]1Y]Z_l Z%#Z+ W pbI9EJxR#r0 ;K1sLڎWy-è8+}.wox$er@] zU ;86MKrwh>4hhs.ٸVIwO#@R׆`G[f=svGu&sArf-ldrPS-D)K:"&8FБ}+54p`0{+-(9ik&dr,|ɋ9n<֕U@gjG.Eg4;ޞ]nZJDKu_x䇷 gYZ68da1bc3a94a63d54ee95ccd6c8e1e19fa80a01aefc28eccda00132ad1b67401ee486ac0b5a1cdf973f30a305dcf3430742c8159dcf89e8110a2367d  ZF