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 a1 t ]S HOL-Probability-ex:threads=6elapsed=6.513cpu=19.792gc=0.912factor=3.047zXZִF! W]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-d#G4 sm Ӧ 2db!1~nD/#:bJ={k 06`M9RݴB˷N@_w#\Yc=voe0& eGMJ~)?j u?眤zmb`x@ YU%&EY@à^|w7a0&Kg!&~vU>f%\EͿXR@9OT5{dMrRJTǍb O`QRoMmcWnSt~cߛhubgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >xFX.?G07ɸq$Tw_78~Mv6[ґ0?$,Snkp#&(7A?I1! 7cb~|H}4hu>|gYZ7zXZִF! ']ŗXi%EW埱Gk sюЮ2ig89!ef\rz!p ㄿI uH2dH֓Fi#ݤ&`5w}ޛ, U4 {., on1x.h訴\<(ɡ.>|H-^#66FI{Ph@_BPya" ~lf"F<~96a$VPR]MwH`KLe;H/V 7ŔpdƸڵRA=VJ-/WM~6BkrJ @r~pQUGkX'Z YFW Y겈BE<_OHd۪n9td?xRl/PUANO? &Ld)~4{M\6G 'U=(B , l$+_|19x(VZu q;C4[MZj0%d`sD\Q9DWd_c] ){p 1s95<&g2CuE%T$>mf!a_@3bcOnTgپ6h=ZB)g uJj׮`Ѽ.-$V^z}࠭aà (NN `4C;Y(tzX4ԭi3{N<ıgYZd616bd19f9a70a71c8218223c21655f0e0f3ff1278f8eff916f7453c3062e701b3cb18e4d64202c8 c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350 7d2d93f44f29a139fc2f6cbd977cfed0b584c024 d0d0d926d5ffd663fda1cbd029ed211a4e747449 1 HOL-Probability-ex