SQLite format 3@ .  hhB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 PP-1 l Sw HOL-Probability-ex:threads=6elapsed=26.934cpu=46.332gc=1.180factor=1.727zXZִF! Zo]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1K\4@H<^4O FX5e#EKhBdps>:Ca.)]c/`.5kqJ$ Z9DC|8g5.j&X8-w c\BQ7?U*Ԕ ڈRwHmYP57#APWCeɠS;YD+3E|Ef@2oqތpaYCO)ϊImߑ$ LS,m"`3".2j|8'MP HᮑU$ߏő[a1yd*+m6좿;VAHyax(|]mz . OMnBh js9XpGz+>"׀g5<۽o!fO$[Wh 2зcg:e.yxwAtȈ$ornHlhLrjG&ƫgd8/َ9+B>+xVA)!$j֨+fOz7ytF_;-K7hN@ +jQ?(q(刔sUU^x?úqbmH1|ʺS_[ ($zeLS B} gIV郧vj9KAt Ͽȣq^ba["qAo. B :>ES3)IxD !)6֏W(,IBRu>bLNGkkv%6&ղM[&P Tb(R8RWdG=@m!?}"$Qx+X`ֵOYl(,_U< L#()v) ew*'ۮtbY7|+vfIwzi.9Vr){Z cF9JϟlDst?P`ƈ'Mt6I j&C)Ėg?>GYy(ȼW' <ڡ[9;I18Tw9%3T ;;a1Y''͆R`3Vk4*b{ЩR61hbz#{v(,_Iu4~^m4(*Lg MoASn73kNXv eN \|$V]Let ϡ9aZ1S߈CჷM*3!ŏt(eg27PѐcjKh(nϭ?0+fVi9 *b鉥dYRlXROZKj팆8+%$2)^lfMw)<t+ͩcb$: gYZ7zXZִF! ]ŗXi%x1HK5eEQ%yI|X!]ԍ!=UגyݓՍ@j{[:7]SKg7UQ "at$zΐ",+g/0=Ge]JUs$QI;a6>/QgRx=i̕̚kpI׵Bď!&IP2z„cfj