SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 hh1 \ ]S HOL-Probability-ex:threads=6elapsed=7.200cpu=22.744gc=0.908factor=3.167zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "N=c2*sR X ~w m I)CmX6@kx2k _nS*,`hOJǢ80 mzݪ{,+.#dEa!>1ju.M㻶G.aY=J(r؄Kl\rak Ie>iK{W(vqTs+0c{Z:HʦHNXW/P!dkHPHdgHQnmӸ7uV Ti%ȫF=AI9 v+ XBOA/HBI| z 6py]k05m.cD3#UR[YMgG]^Aw@BWW??fWu5gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSNrO㻨seVL^pˣs\%v|dK@S,θG/]02jy 7V,\@qAXX*vV; Z #q|]*"\tf _ Lj5S7x'KLɇ1JX,?Y@mwQ/[UV]!ok/zuU^NND;9HxC lGr@WGlde*"1F mߦ&FM.!WDje=v5 (?lqe2~mћI.nZV#Ƒ@</t -UUkg<8ֹc|@TT%(*lf '_~AX8z XD8M:E>4i4OMbyEGsEJr|rKG{]G?mPH=9So3[q/\K"EExOkyJr-.GCd) 6:munk$ܰ Nahm|ܣ8 G,'Xp4uqi׌ *gth xM#˒UJB_oSc\ͱgYZ12cea4ab0346c000bbb8ff907a865a9cac52ac8b9b9f81d4c305b88e1723b753afa9d6920245812e c4fec795bbe4e08dce23c820eff003287faea711 d0d568fb320cca12bc6ae8926d477efb3a1d2410 f94d3afdadcecae9e3496dbea8546511d9345298 1 HOL-Probability-ex