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 oo1  < ]S HOL-Probability-ex:threads=6elapsed=26.692cpu=44.916gc=1.236factor=1.687zXZִF! `]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EAp0 -n#ʍR>fX&˼n2zk|J|Ojt& Nr7NLxn]tcxQoIOpE3wO(T2%F&.7T@{K|7K^FoaW绔a=%L|}|qrŮNMw()-_~ljOf3eR׹J/X"t~/۲6q ,O&ױR,t Troi]72G|OˆzZ,9:U5T mAΗA+bּͤ;2[uD˴bNXҽ\@ j=)U-ӷkڱW[.mlA. c{Orv`U/\S?E!YFBE3+wЕlmӖ#έ#@MjEnz&ѱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J`׏9֖ݛIF~\7$ {ҙsrG.'Vg0ɹcXI2  `rO!ػ;^%\c_ ~髛wץu\(xNpj~ʰ7hz;gYZ7zXZִF! }i]ŗXi%;}0'݀TC#d5ٕǶ?#T xMUD5EجpnbS$S!+;P+ZoA Fد@L|0oB `wҏ߇+lulT81[촢qKev8m=V8ʢs::u,# !^Q+3)w>DHS [a5qfZPrRcol#ي.-t+RJeѱDP_ U /A,qm7o;˟Cx'-Qۊ-X5R{f&NP)\0_@ᄀ24 D6 [T^3 q ,mt 8t+6˧J 13li>6; 6$@ZčϞ1y"}T?#+7I3)v͸͛~nJSɚOzk K%(}hЫ.Vq˷HyJtɀ-/-#n"RuJ"!ݘDalTSơC$>oqּQdrMjTWO6i;$d~"y`FzlC͑#_;M,2><>GGcD[ 6e<޻ nU %:zzo|Gђ}}&.fvڧpJ`9,&KEVm7WOGd#By7C|ҿ엷6g;rx0W?zP\(eR: kIrgYZ420837ce1fddabf2f9eefd60fd019710cc7bf3466ccfd83e19ef598f6e27e356293c7dd9ec0a36c7 4664eafb8b95b7e524d9955d44d27659b2d95702 dce7e7027664d528c8ed8e6594362ad2c677c3b7 89988f53b0339c3680571233dea171df8249915b 1 HOL-Probability-ex