SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 DtL ]S HOL-Probability-ex:threads=2elapsed=42.132cpu=51.240gc=1.608factor=1.227zXZִF! ]ŗXf1-q恈wX82B#yvxs ~]<~4X'|\%p!1Ohe+7;|)N_d+w%UDH~Z!X¾Hq0i5vl:#NZy= `@D!"Qi 듫I5x, {8Q WG@ũ+no99n,7TNErwaospPcvnYc# ʶ(J}b d>vB// g 3UY8`:Ftok:ݱgYZ7zXZִF! e]ŗXiɟ1˦r*Ǎ9-O_]/9.4pA}ir[A12 1TX<r*A3IMa뚣slFd*!Nхs8;nu"/,'*jJt"3?U*z3R;RN h#7`>6y+gYZ7zXZִF! 6]ŗXi%;GA1nR]R͊j]mV8ң #ȚbUQ` ?PdURa 6+F]Jb1ƧEj& thx/`gDIg :`+YLû>!߹.:wWȎw]|sڊ?8 aNHolWbmCY H.cB:]L 㵍C"lވpEy\srvIynwlWa1VI9tƗ2)krvXCsD$@7eT'n H$ Ϭ6fb )<cHw%xq-O0j){RUeziD'vpk+FuW۽w El \?e7%gn048uđjNr3rc= vqPdH?c~#Gf48L %n$bSA0k=\pK蠚ZF-fA K3 sC"јy~$6t٣VI1]z=6R3)@gDC嵯J֒PK_h/L[N;;9r`ǮeQelabA! 5'9!ǶSr.PÔ(b/(q \T鏳/I"ÍQ 8wݽ31J'E(<$1қU O ſMǕ C58{_7;erSĐi':M uK ^BNt{,NBbw|9H^bUa;`A%gr *#Io\xMaLJs~@Y cƳ^O%&N7_ >[HF[1[^A mq=]:Hu"TMgJLN!64}nC@,yzr%3p7y~{*!Ә.e!2}~ɥ, h0;N&K؁S_ԋ SU^ղ|܆#bb?^jt6v7bC^!"3ˊeBwT?, œql]nLՙTeյ3q DH=z%-cQ&8DWsE7sΟ nJM*Y _1KvWdg)nПىdhKf͚+jP<ۉb]6&`wom3L}[$>ȷ@ zR_TFiӫ?Ak{|> %4eRn/[:9qEl 0l@Qǀs<1b Kbl,_/0~}ZG9EVD v .*> 4h'p,;'wc: 2*.ߤOnL:u!b3/ntNxrcL<WD]g~[aD40pٟ;(3*ZH\j4y^쾶\~:Y%YUD9Hx'yMYdEW{DS̑|5?\KVlagbxb6/"̆9[2.7v[*ѥ)w;>BU wwjt<pOf{ &r=#gYZd84e0c09fc65692767f2f5df005fe616b834a04f071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 96e71748681e3f727bdb40af3447ae6fe576744e 22e36a8183d9db4d0bebe8dc00e1e3367464a00b 1 HOL-Probability-ex