SQLite format 3@ . BBh77otableisabelle_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 OO.1 $| ]S HOL-Probability-ex:threads=6elapsed=27.331cpu=46.628gc=1.448factor=1.717zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E\= ;66X%Ke:?;f9V7Jc/5"~9b߇X{;ƁG1#=W}z3䐎 @ZC㉓OTL@:yȂ38lJ.a@L.'mB[i@\i 랼YnzD澹PBN;-Nͺ7 2UE(r6"3>;#sׁDQ~ɀk%aՑ벍6a;*Wg‘J(7l}5mUD uN~" D1* ?̛v 7olkh B. -.DuRݮq鎀\Z?ݶ*;!2Ɠ ) + /t?68XH1 WH_8.nV;kQ^G;{ o*&/gZjgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >*,SkH^śƖ2:5Wti-hq\[wr\>йppp9eZK<_@2i¡4lgGTv !Y@]QHH 1h`owvpYN2xeLvwgYZ7zXZִF! ;]ŗXi%94ǥ5_etpQ!MUIU)\VgHvD<@uT?4t¦Y/7BSI᯵R˭T:(`Fq[#걓1eŕ_2lL p'32$! x5i퉕~o޴gX1GK}"շyfA,Tw1""F4s9Fu sZstNuf-Lk b=Xpj%T_8y""5TnʴV-^n5wK{0%>ۺ a@ q[IlL%NB> *w,0=Oڶ|bpt6ѪÞV)!N~sp$m k'Vw(Ea&`>X$OQpyK'ҏeB HDuO**u5} M»{r8SXye g0{C_ Ȋ5ߍݷ%`%gl54 Lܫf8,C֋r=a~G3;LQT1le09˼]`tf,*C˭'Gq0싀\=2p=sk `߱/{gN5$*YF0pC;;S9Pɿ9EhGKKw`/b#KOf}M0gegYʀҝ(ba!gr-_03gm&$l:EA,)Z3Uh'۶/a-[M>T~ދii<Գ$Aٰ9*!bH@ۖ6о|P F(4`o:mqY9f%Qy=%TU^rzبuPieC+TlY= R SRٌw