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 ; t4L ]/ AVL-Trees:threads=4elapsed=12.696cpu=46.220gc=0.784factor=3.647zXZִF! `4]ŗXf[&(tw`)F~{Q$y+ #*7WR`=5.@3}ϬaTɬ(Ņ{x dڏRD\Qܳ:~**Um}W.XS#n` ;6"1oEh^y z9ndDDmN\WZJ:keU6MaC.r&94Y.6Dlnrk& WPK\DŽ6v*Q駒W;-$ ]Du3|)Př1w&C$H{{/#—)WŶ)f;[/B܊v!s.0p,&O]bD"#u0r em>x*9:}O/N (ZLN;86S_,TnE,K:zĞ}TjRp\5l-V\t#P :YbVILǷrl*dn:9?9>eUZhΗ=Rd, `dXdAI1`aDpkԜMIAkw;SBqk@Еw/팕rbpk?UrX1#|\FQFU2#SH0G\O&pIXLn)E0Xa%y1CZ1ʢ{6qq?k!M0b6S7~pD'&Th:dԺ49Q R7f#  ?(gYZ7af7917925354b93a2a98ddb6ddce58b5a41eb3f31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5   AVL-Trees