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 ]1 || ]S HOL-Probability-ex:threads=4elapsed=8.860cpu=25.572gc=0.672factor=2.897zXZִF! E6]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-g-@׿O]œÇ$^N ^b'[2^⹫rT r4J/J~7SԄ}Q;YaaJb1:4x) Q.q7ZA ںYyb;nVv":K*F g]~9/S ]+qޑ5q͕|N+1enCxEJxP#јa-gM=+8FLqz9r] `1\kW['`)m/}l*v!$(Qإ?R&,5uCq^%& OUC"aL*դJ, Jcn7 * &{No?9 SQ&gBɯUsmiϫimb㪨Qձ: N29/-qwZɢX-r"mgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J> Go㓟Dx{ی f{i`l⫬1ds+W'q+Mb@.0cHfWV'+1,UAOr:~8~s6 G~_ J =LV mױgYZ7zXZִF! 4]ŗXi%Eb⬞韤Tr=pI<5X "DH-0wdΩ | *[oKq+rS(ZM< ,a \6ĸO/E 4[^AOnsQe5{@S3ϑ ywi%w]=t>ˌc,J8d$E~]? s'(&.'b]ij4-,RRTX vb6PaT ($}c}P[kcUl(axNmp}TKIE% F YuMP^2 E=)du /_D6~np @\۷ԇN9AVga97%M%8}wdzYZ06$%|ǧ Uv\!HlL#ZU+Z ~Ԣcvm^֘/]VKUY5GT9"/XR9([);C&bj>fr^@cV%AKd[+I| kkm*}! 0C\ws'`s+Y9Oٳ ُ|l6cqrEE˫+"Oov%E.m)}u 5vE*;y:PWGˆbˋď_~؇+|`Dcb܃j- 9|ꈻY[QZ/ ބ~( ȡd