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 uC d,4 ]/ Median_Of_Medians_Selection:threads=2elapsed=16.072cpu=28.176gc=1.152factor=1.757zXZִF! )]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx4p #%^-Q6JȌq ar0\)Μ,>+w%9%u\c8N{IbŮ97TH!h + @?1gՆ^23e0mi xYDžÁӲ[&]̒S WY䏝rr*` )mx8&G/&#7wxOSEF.g[#L$將û|nզ.ඌJƛYuzK'I 4L~Cf%5#HA2qykABj_ RkQ 8JG3? nȇ׋C6c~cy9nm _*ߏ&[zPuP1)#,{E-e?ϫdT)7kHUdJD0(<3H-BSL㩞M Iw:kʳ!l+mE"zϒ Iq5?nrAY|+%sn Q1$K:v%04i8V6Ԅ8xj.O,Ro~600e. c",tF"?5q?O4E@t#:VyEƏ9f2xGl9S1H(%%7uw2l4#WT5(Dim&qŪy1W7d:H<5kQw^`}6D^5 g \ )e&ydzŕ0 WƎ.1dyfJ}q< u> aRy,oCH:@6i`s7+AΒi74wa08`*LBFD݀Yg*^j4r4ps톏uЛT''|ک+.0C"RcIX,ni{ ̷+L2@u]B^!w!?\3St=Ir|kqb˵e9##áSÎKՅ#d'Ƹj'\T{nu Gg?@ƒ#HAsk(l牽k͔}&;<‰%ZIo+A`Uz buj蟫nYiΈhM9%„qPFmHC