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  } }9 lL ]S Stuttering_Equivalence:threads=4elapsed=2.602cpu=7.844gc=0.256factor=3.017zXZִF! ]ŗXf[&R;]R#'CN_o,3jL Ѱ&qr,c8)&^.MԘ'[+ޣTǡ9Z IIc/HnB@+q bW>1d]mJ yH@8iqmC<>y&F 김(ؙ΢b$(dHGCAtݟ; cfL"%*Nfi#j &F PgYZ7zXZִF! p]ŗXiɟ#-LJ" [:]d;ȏѭ׫?KTsz o!4MWxqv|"-|rZо=y͛(;K9y<*ӱgYZ7zXZִF! #]ŗXi%G̉S#:X',b r 8[N!}MPqd/#3}3jұ{?>-bB-Ωh2" pk\/{Q"ajط޼F *-R X:r}_c;Jyyx( CI?~(Nn߃:R_$rLgLz%àGfhW<JvR 29sUa Ts })" ԥOOwMUw4UutE D3}⯂[V k~V_5Y)v< 1|9qtl,"a+;o> ^߿X\|-1_j/ʱ[J$T"$ ~k`B>IP5y At+8 i͜kf IA"?,_ÉgΛ|(gf`_/eTټ1eF7?jP%nlͩQ8'-x%Տu^w9[ y{lSӅ؅kSa&`RW}<6BޅoAm(![ňaSEVrė-xX