SQLite format 3@ .  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 DD91 l|T ]S HOL-Probability-ex:threads=6elapsed=7.062cpu=21.152gc=0.824factor=3.007zXZִF! y]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "- nݚl2.u'7ʨޗq&ZL;^D'7y%6}(FB}|<`#PZ _ 7 nmH`OMGm}'AVk:N4 |Q tA&WjS5U;RtSA4^$J\3n)EFe[1BgxD*j# ;_=[wikh =*m TQ\{k'\́Fn}2k+Ndh LoXؕ^X ^3F-Ќ† ܘM[GAmXwP#pKUL Ϋs&>[XV8 5fLm3Nd,I/$EN!vU9[oXP:EgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >vRť"%[XdcV>Cf\7Y}RMZ/~yB2|H_}k-.K;Bw}]<6.W\[7V(~"_nW\d`W3 N"ÊSQgYZ7zXZִF! $+#]ŗXi%BȴC9ɀolWH.aU;i?Fa:6xX4ve{n@X4L|C3l& Y=kKɎkOW9Iw|4CZ{p*X\Δfd3]Ro "F/7jOk7H`Ⱦ譁'[fIn\4q<UydU.sz>ޟooB"1jjHbX2,O9ePS' СDxdcr H3$_ Sj` $E P/Fy̛ ו4eTҵ~`N< +p5߽`ا2꼔Ca!gOgm(C5B븻偸>B0̎d'v!wcj7kqHto!CNW=.”2!/VW ;@qy|"Av)$18 RPCR Uޤ8( zcI)]0@tձ=gΟXL{!KhGL8/Lj:Eft nh6f!IpGARcה_( %vn?N3쿎8H[Sddһ c!sև?41GhhV0:* L~M3bS/ʜ8-'Tcp2Xi+:FտSڏn[jjC;y_ qNJDcRwYNURHޱgYZ13b4d58b29288f4eff03f6a582453fc5768039fa1b62f589250a397b750b9cb14f8361ec2107a8af 9fce8c97e397b56bd94058e31e934a30dd22c73d f7069a654e4cdf670ba5ceb5e6495dffc8e1803a 0a12bfd845881402650df3bb1727419f64b6e686 1 HOL-Probability-ex