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 $ L$\ ]/ OpSets:threads=4elapsed=14.831cpu=49.252gc=1.312factor=3.327zXZִF! ]ŗXf[&Zyq1/F˹1`2W yRO!潖݄#Xb8xZz+z$ণ33[@cRwuag CߜVdbYbv;NŧjE~LM60.tfw,_ཿ.mZs8gLR 3Y7<-mW? `kLyFרgEWT~6Úhfô,NpΫ,iɬ0eo#W+E;=~fƼ|+P #+{BaT-÷|ɼx cG-oXk%Na2n|2K4"[IywCxw\̵+ܥ%htKsTCNt, g>؍*$RۻB"λf ~ 5e O"_%ˌ:p !1ㆈgYZ7zXZִF! S]ŗXiɟ@*ajmSNF_9,'? o .:(4oRNJsYݳ8fƼ;2%?ɅeMmt^ߤ˛gHՏYx٧5Jf^&PgYZ7zXZִF! o(]ŗXi%Eb⬗vrCj6?wi#4=E P!.çT 3.Q]h,tnSE>s8~Yπ 7xH@Myv&;K~jזQS,{A={M^qh~iT-- d? m^ \%;sdB`8/A 5B(^Xfkbxwbv-U$p/K2u!})CXu@JKDq+üqmI["\eAhd -˂4'g !nMү8h}֠1NF2ߒ덿,`p0}돼 @Ro>؀n}'At m!FjǠN኶"TK)GcM"P#JquUyȝޤϛ?* >-$ O S6!!\8΂}ښ[1oϘe#lCbڜBsui!K k8hsj 73ۧ: J*D $Q;|:'V̴z3Gu7R1Wq!V@d#_o*ibI0QILNk>D޻^ȣtS}(1`_z8E!Lrx=?q_0nLshR~R;?"C[RvvYڹHPI EKOZ6dqPo. pl['lݒ8nu],  Hc"w*I>f ,O^+UbmW,6B%aXyx\7n` Y?T;7il+n5 0Fݿdي#ۗ+ *xW1エkԝG@>#•_;Bp.SI-_ޘXף ~ǘcRyowbώq?2_L|_ޓ՝kNxtO69AIb !^$^@-@Q'+zRZmor.KaZޓi6t9^ﯱlA,Jc+ 3RN{Z傟O<$gYZ97ddf86a8242cc604abfdc6380137302e77b945087d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591   OpSets