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 ??>1 |, ]S HOL-Probability-ex:threads=6elapsed=27.745cpu=45.276gc=1.500factor=1.637zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~ݗ3NŒ|xCNTBWjw܃9(1-Q䍐 96q`$zZvm1k&'K3~wn #>%ʤzδ49j^ % xg@ "lrK[.-t\""21ǺZ4C?} ՄHLzoT xiUњ2Tq;7`fgH=A (ձL*UCp?LWd0Q95-9̟I(*JSGÚg2- k]C]_BoG DʾԲ*{ѢUQ㹘M8*p[:zիĿn[?L)8ѡ")Uc KނCgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Nл[Nf=gT_Y3NB僃QȶbP_9jr_iͅ[*I+- gjzh]@|O&{!}rz#RٜzibhOK» tޢfYgYZ7zXZִF! z]ŗXi%;Y:]=P$KPqïeE>t 9-9@wր>ATHiAa?~_JL) &G'ctdv7jHVbx lc@w:e4YbC1n߹NM{ZtA^1Ou 2ׇPF|<GȘ%nuKT䝀y黲 {F䨽'y} . ahc*_PʕStKl-;Й N@fi59? }I2:CH(hD6޺x+v~~=7tHMeº5sj#QE=vc޸ֳbT_5g֧uPiҏk0AJtEsL@J򝰖 3bS0о௢UE&la_ @5l90Il"'~7[xwV!6”gjՐک{sӲFLn 9<;cGk$,wCZ:/IIEM*ʴͩmcdǀi\BV`N4 4+ ޺1:ڨ`AIb3hZ) Ε" ޳Ho-:{Uv`$赡Rj[NH29G*%8͞ꟲҋP %_?1>=LzrӇX<Эy8!OJPotw4:bC47LѼy&n HU2gYZafcd051a9f16bc8d377cd91bc8b4f901423b8664393fae3774b4e564b1026bf200bc8a56a06c6d90 57047d6b403ca17ea2fbe0bcecbdfd87177ba07d 089ad71ebc02f588a16dbc2b7ca04b14e7334c0d 4630c7adaab7181198c9d3de454864de2458d4d2 1 HOL-Probability-ex