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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info I I (IDl| ]S]Stone_Kleene_Relation_Algebras:threads=4elapsed=79.840cpu=231.600gc=12.096factor=2.907zXZ ִF ! ] ŗXf[&RTꞠBrnEn[^^^ E A!PL_,ѷ,LM90Yk JW+NgI1幟{HCMP *"7,I22LE|np5Td|JP0~|'IYJ@w}s]5>1)>diۙL]`PeޜqQZ1.&8RcM>`>RIIURB ^oWIZaLǖ/a -lHW*,iT|Maz!۪: A+jNe+h$ӥ5NϨ HV my`*y 8BJ*1& }{KTx& / Ӂ3!g79b( ~ϟ9`#'8ȿs=:x Msh.8<̻FFv [-Gq17ؖ=d!VΏqbGa@Td @W'K [v bυ+&<;Ri O呣Tp<4V:P0yCKMڝ]t[ϏiQ 5='T]ӑ\(&=F&jf0x'B=m_LwQP"l@ҧbCTóJI
!ԽyEzⱪh[ ,}]ύ< b - ;BZe1 Ch V+$6] G nO-5OQEG;\O̩ʸbx7lcdVDc]dZ_ʊX[O9T^*r[3S韆.[ +xp[~v~q_`%GD|{Kꨧ9i_>oINٴniLp'T#2s7nYS"\.H_*|'-&XSHjF៲`teFLBdTi=k" ?f6C0>t1$l5مR+Mg7f"p@}NCm|1ݣ>MMD' =l.a1cv,,YdsfB𡅘JcrM*fYo4dWɳdGڌc9PIӧ<-S(| OBn/Bϓ2՝*a9uHh<,ҒP$&