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 J1 |< Sw HOL-Probability-ex:threads=6elapsed=26.016cpu=45.660gc=1.136factor=1.767zXZִF! y]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Ko H#ag? Dkה0dNU[|'+Za9W~DHB(Ͷp]K?.My-z |dPk|eF:P#|0+kF6PpϷK6 ,ׅ߅#]-m^VyEeb[Xn Q]DRObYAB24|a!0PFg@O]?y+~7cT3pÂyΨ\] Y'h^~i'jtY7G.R""5<B>+!]^4 .SyJ:[?}t)'|ŽtXŧ\lpHp䲼d}BVgYZ7zXZִF! z]ŗXi%6zc tOjIH B jX.mzqnDWVHz~u.z?x˦TnOB8>?mֹ]܃q<۠q畏nS]Jԛ4ZE (+}ʖ+a9t+=& |w7B@%ɧ$ ̐:|L_mݱݩSoFeye{9g"")fXZUimS'#';q10+DXڔv/m 2b,~x^Mi<;U]wMׅ0o(SgRn#(0H] } YH֏0!*vd<8])L8!ֹC{R-=}d2ePsN;mT/15j#doY87R\f nb0n뎩B@gNy+Jku1UOL \-ֶVVН/5j[X+-h3 Gaqΰ&nC/4lbiE$b8gĶFnQ8N~N_$*[n܂w Ҧ,m\P1I+aqF;Ҧ?˂pJ(k"eH}hޜT!}H&X7X_`*%vF~L-/5J;>!Չ| uSzB[`!xaPR|ZA! <aR~UcZ(';qC7oJC!B<;#ƙ>)^X3`SmkŌM+cmFٶAmOӓ.U^q:yf v(~ښn3E2"$NfxaHGabZoh_*hc )RkM_O| uyqg%_m")*˨|y|7iziG _5k6=^+.LK4O֦7 W4RjvG:P+{)${APQ