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 e tt ] IOA:threads=6elapsed=7.238cpu=31.840gc=1.320factor=4.407zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|@@Lv07ms#;y!z9>T+B l*V,mݙl.D߁GKIJ֚ F[w'a\hRDֱSqYcM}e7FFN~a}*,9 _ViйxEo'?0yo q(f)s uN"ulRl:ęp0B9W_& Yy>'68/)t.!Ӟ*kR[1dsYU x}V-|sCcIњnЙ8b^D?Oizmxى|2vi0}c ~l)LKϭ`CH( /w?Wc\f=BԞ%]慱gYZ7zXZִF! `r]ŗXiɟdN'LvH۹մQ2Ǣ^ -a8Edaݬ!?Q4sZBvQ rC!X'swq*R=E voe@ԺQECO,Z(kyygfW!XAgSY8:3~GQ'kh{~.#/m|*MڌZ:PFDj׭Xˤ;)Fa9jz ixN4ņ5B+%I9J*H(W?xg iwwTԽd Moc/,j6B=dnCF VT'%C!p*D .xñgYZ7zXZִF! )H]ŗXi%GA$A :\VCY"F`A񱓘6aZ+0Ybr!UibXS4ĔH |C*2U>eǢ<3?TܺdָggGjb]@e"ZJ׎U䬏mz$筬TZ`S;^/Zȧ'0-Y @cePnbQOZC^U ?s841Ď")1^ 2<QbuDPLH n)HߩHhqP˼`Ns[tp$q#OںϮdDXDfĴWP#WhmiIy.򙗑cZ=Ly60@gcUS} t&: ɛ*_"X)[d. [QN4AE0>9T!T5ՈefrvŤSotxDyc)0^xr#NԀa_.[=AN>EYk--!Xϝս:zFǖi jXKwe[΁ϜojqaLYQ6lM8[rDd{'^zW:@F"jҋ#v*K[u)DQeKjQ!#`8$z]Zׇ5F͕+)o*`;'7/Q}s6q=6@yOGͦ^?-)IRnt,ݎ)HruO[ܣՈRWf\Tj7=*evJŐ^fY|U_[s@YK<dSb (!t1ek+=QH9"M2LOa!Q.RDN[v:G4Ce\  -c:w;I5,/:4 ZN(i$v)g26͏vh_zNb9UN?öuS AKSOgYZf03a2f19e37d7a2a1f07e0e5fe32543a53b4fdc3f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4 eb37e5ba364e75f2c586fe34fbb117952048030f 1dd1ba75f57aa6680da3b7951bdf453f79821369  IOA