SQLite format 3@ .  YYQ77Atableisabelle_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, "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 Z1 L Sw HOL-Probability-ex:threads=6elapsed=33.213cpu=57.400gc=1.420factor=1.737zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1D3*WY=$Ӥf|؃C 1mTGo<):Mt_n`Vs];JW"ҾY@?$Y~ӈXo H;" ܖ֏}x|8*M"WJo/#b w#Im̯9gus;bґ)S1vZ;)m"2R2ׇ2>.譿"XS'UqE;.QW==듍al>MwgYZ7zXZִF! J]ŗXi%6?mY#i 58Po0{M\zʴCpy3,À7tH@guLOu뇚?|8}#C} ٳHhxȂj?}%z9*,lʱFT L2nrhaf\M+@?Ǽ!ʮrxf@8Hp{5T^y6vKi1bq. +􆆹fP˨bFx*(XgRΰ 3g~F,E"Eכ>KKNJF~:gW9mUr]4z(l|D"_iJd l yv+l랦N䰏hћFL[g2Ϗo'Vd4# ;S rIS]uhwp<ڛ(ž 4#j4HܰbauOC*7:Rv;g߈wosǦ`!y(ksjN řMgE[x 2HmK/hߔ v}l+qNN@B2qƿπJ ,E3& Ϡ?9u $k d7کZtB1=br+ դ`b# _ʟcצvƚ`K5vJ1WfQ&M93f0hXIxTɲӨaDħbz/YeP)c% h$tϾ4X:+grɃ$FX RdN-ٚ\okC ;jy(bS~6'Tya *ҧ*!G ڏ($m0[ tgrf 61{]:"_R)mq$+/0g֖p'9Qs Qe,SM7Gc2ƨ+xKK<ɄSiׇE?bXŐ xoPp"͖YGrMƇ +]POZՂC̒c쨸?:MZ%y&qt_cB޻ xiU:k\")6:;e1D>BMjq|^\GƉ5\)ty+{仺STN#Y?ypOg _܃1dRbx4AM*u>`Oy,|`Q\oݍ*@Ep^ Jطrnc4^H!q"Q=pBR\hg_0`m#ΈvP4]Cth %,+T!N,Q)RT6DlTUb*R1*zlP#2!LAd gm*#7Űc ~"%!o3[