SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ''V1 d| ]S HOL-Probability-ex:threads=6elapsed=28.605cpu=49.056gc=1.532factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۠zaF0Olku=$y!C{odQ*0&$Kc"7P9W`ITp^#:ԇzӨ6쵵e^JPSPh6xg]ePӇ{H)R]ly]'F` |P7ʭZMMӻׂ^ FdV2I[;t:<}BTlɈῇ 3#2$1 5@ϋ/Selhbvȁ|DoBE/OģѰ)n&s <b2D<؁&~=`/>GJ,ѻtpDG( :qܠt,eڑVBCCjC3w"z-8"1ҹH2/y,r:OÄgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >vRť"$r{pf>ڀ]5e5S>,h=gW9˶/2v^e1b-}_(E!7e Y:l,k悊1Y˭,H dBq*Bhi gYZ7zXZִF! 8A]ŗXi%@`g < [$"Qvuذy埿Bŷ݆$#Mb1b "VڭE+>9Fu}ޗ31L*6 tGz2(|QU/jD, Uk:W /Q'(aY`\d 0'pIZGܖ碷SDQ[~(h8ٽ\!\]`STf-};WVlKw&=f!qFhs\F 'm"f6KG8vېZ0)bHH'#F2/Ai GBbMצ}YQn%nߦUԱv#cDf"' PVbqX怹5(zڑ)yHmHS\<ȵVy/u>0bJ AK*b||>at)I[a|jJrD>2IUA 2Y]nO{5C=wb3i(5DS+x"2 a(G^Y?A&l3*1)i2j!)\~(N,G=QfS--i4]&^'wH{YЏH ͟-ض.egGH`;@B2u^L5/D"͐)3[P—{dIb^9 0ye@6yE?XE: zX_50MgVNɉVHS? 9M{OVo.o bHkA=oX5tVYj1߷Q=n/Ԝz!tuO؍?Â)ѽ}z\ J-k،X=>ʥԊ'e>%}4w[(Zd `jz|KoaU>0:ӏЩdct KTNuq2m,>0& I gYZ707d345691705189d92024f9e8c82bf17d738bec440b9f4889eeccfeb8f57d192fef3c943c95e2f6 15a57fa35da2c9fc03615797247fc7f427c7b698 22e7e1326ab70af298c10d6e6afa8d2063921cb6 e0b3533e77623ea3b6d1ccc9606e8c4dab212df1 1 HOL-Probability-ex