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 33J lL ] HyperCTL:threads=4elapsed=9.288cpu=30.864gc=1.280factor=3.327zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYQCgz!].m}$ tQ+4&QKT =)={ 2Y@R' MHb7'gÔ),K~lc ue#//Ϟ;̸S1bΐ7-+Tw_(PDHV.λ4&~&F&4FW kۗQW#KB0*:a++z p@˥w&1 0sM0x1xLGmэKHǺ=<":5{U> JxiCoCۑZn[Df sj&丵<{p5dUP,^ui|7dVj[ׯpR0cVro!kdr"6ElxI YkPu{gYZ7zXZִF! ]ŗXiɟF@Am|{'h1Dyj=bBp O[HׅA(PS*'8'8Sᳺn={|Q@cA#s}H`OHB&kqEI6LQXL!y x@Ebծ|q7_:CFDՄXgYZ7zXZִF! >]]ŗXi%B4ɢwXNsDo7}5Od)Sゖjf|?yj?";92%qTXD1`)60!~i-wxR}#[a&:}-<-En+Y|R /0TN~,iK|]C ŦQ_gmsDG4IdcHsqm;J9K BG'?)Sy~ت8b ʱ,|E%R\&v nZv'llK84@Zn5$9zT`%5"_†cT+ZQ-nct׳}/F;Z0i,g3ta3fcu9 }eZQ@<6ui>GX(vƻg[ %]]" y't;OpGK qUmSNdYANpH g !!q&k ?t`R:y`{x=!8SBB#FXTkY&W3vui>a" jfO)ZQ%:K,-zHǛ^X]# h}ԷF5YA ē,iskށwryZ&3v$d,;m۹cxT XY)F.n4)_V 4>Y&3gjs-,G6(E&[&Sm\$dzT#clXC$+Kw5AB0 Nr|[<,LúJ}^3nkA 7ӂEGQP)Uč.mX¥42uO1|d0Nw 4.`Ԙ90ʜ6ŬeMȬ4p($.ׂ^Vbt ->` O yaXd0G_Y`Y*ThXZyyQ2S꿛>Z3X{)_c`s 9 >=#sZ. vPWu}BԖgYZ419bb8cf49d309ec1c79d583a40b5e0deb99ed469cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c   HyperCTL