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 tt 1 \| ]S HOL-Probability-ex:threads=6elapsed=6.917cpu=20.240gc=0.880factor=2.937zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-q1ձ6 PA|8AF#-. kLӯ5N 9dK, eh&tC1F& Db-r TrޒFy " _r_'%-5W۸5w {x X7'JA&VS`B 0Bzn)z%~J#]\wCN3E~`n;N0Zld:!8X.x=w˃%~RdUٴ7HPMC[Y)fǥ& ~.+!غ ӠVxwwgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSL:ΔsCRQh"tGg/_YtiԨqF`Hǿ?j@ \.걣>컈S \]#ҰV7̪f='ƕI@{VLgYZ7zXZִF! )]ŗXi%BY9:UDN0py{n(RwPY} Ujھ75JQ/;D|a`TLތy? ?*E4]BV64#n^Mk:_Im^)%rTDE|S0RgtI6E (Zd#Rc˖uB|-H:Fۥ}fEL2*FDT1ϝ2{wM&U ʲfd,įCTRH,mYmH\ʢ;s*fߧ${M"qہܘJc){}ޝ"RH[ }$`&Vfþ'"Ax{]X-bjZtP?/ Ϳ6^8/6}m.C>\19֜dYv‰[jWL_zqx>n3)SN-@>$1 uf񁚉TcN%If+d|D$;]cbfB-ncek<]I;gJfh'a'rN->瘋ޖ?h!C"GyW/<*72FGt9Ge4urARc3Ǫl)j6j'vrg.iZkgh:̒`.Sk@gYZc2756871279c3825b9606ab63ea05e71ba2a0d58bda8f03e160d8c5cd72428831a82ca34ca2b02c8 6f364a1f2777906a318a918c258e4e1a5bb60e4c 1488aaf452d2b424eae5e777a16ab6cafebe6762 44dc0c2e21e3a3c3bb571ae64916902f87a9b1f2 1 HOL-Probability-ex