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 l < ]/ OpSets:threads=2elapsed=19.825cpu=37.036gc=1.192factor=1.877zXZִF! ]ŗXf1-/6vR[$N] V:}]縅\]$g|)3keR(n{ ;㚤<2'~pi\caqG2kޙm,Mtiz@ ^.4{⤸ϷSG&zGg>A~QyDINE/\ D6R!3b bs:H~sl:36Lrvˡm0T@ei^a{\gSFjsj1*<~HIU+ e3"Z| L)q*Vɡ| ~0`< SKo'aرVQ".אPiI `*t&öX!JFh&Z0V(X/J>R~3XһC'S& ?PtF;!}j2jGM p>0O4?HHbH[F^I;84bs&CY.{9@9F(-MK?IM͈!7T/h_'jm jTE2cC7ڶ<t! 0dAzВL %! $!/YgYZ7zXZִF! S]ŗXiɟ@*ajmSNFX~ɋhj.E|i-xPެ(e!Gnuc,l7YSo lx%sc|mOw۲oݶTNTOLej4_!h%Z-)Z+"$1zd`Z]㣁̅l;\-:a7&i\ZabL>:Li`eS?yuɋ3k qZԙf>5D4f]e$+DChfm͘RTC4/B<1sWu&>r50Ĵ&JG֗h}i E=zPi/'|^1>cy@z,D {ymHF-"ei33]E{„G'[ytg)u ^1[`€He$3P$1RpJD'6\EAHRP46иB /##@fkKuoN" KWL͖_8|,[ţҦoXAfNr` &S(* +j$ed' ڳ9@x7e]!Jf% dTxyp4z}d%lJe] RO\=[?|_lux^b/HrA4:6ymLdD9TǎNl}wI)ysÅ@}^9%n3D-:J_4jVD`+ Zs;i'R Ho8͓RPh?/WPF꒬y }m~YB`T0sRU<;51|XːĘ^$p1op5sL =gYZ3f0a1ccba9e657b68c52bba449e2a325da837f74a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   OpSets