SQLite format 3@ . BBh77otableisabelle_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 d| ]S HOL-Probability-ex:threads=2elapsed=37.671cpu=46.124gc=1.508factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[Zp5]TP/I}5@yFYcB#!U`!| Ҁ1g^N㱢 f[a' ˱uK՛C\h* n2x`+1kFFd c&׌,vJ-aAfnOJe'dYq4mdߑjX-nGtJظVQN~KT2LLx*GvY4%8!~†*ʱ,{Ge.qTm0fE8+|=^eMEd/UڥXҗ=vʶGo':;rq0rv'hӜ:CV[) Rl6ӻ{ǜr]ĩf59 +HEv@81=?ldgYZ7zXZִF! e]ŗXiɟ1˦r*Ǎ9-O_]/9.b+TLG=yw[jr)u,2ruP\Y%MWGO`J%Q1]k3xнak@a7$45l(Sg78zK nE%;D ߄dmsS\nmױgYZ7zXZִF! అ]ŗXi%;c>'TgOgcRJ x" eHjȱ*Z=WMx8|h<ȀَV'y6D>AwD|< %cC $ c/]*湝 dBioqFѽ8b{oJ1!|s=9 Fp|oȢ5MďKk6Jv@̀{꽣Y^F:x6s=RO͕U ]GKx%ܮ|Zew8H :xU߰-:?B!wtr᠗!iBͫ mgr^RJn \r'*vi=/ҽІxI2WRt8m#$A~l{ I!A:w H}YkBQ3ů@r/D~ Ԭ:1 L\=nڢ0 댂-,{Oaw 6bSgtd iz"8͞ -X`z: KvEϮbDQUo,c2~@tyjUJCߝ1g C\#*H:h2Q}]UӬ{$N.#~:]g}`ުvƥdzR.! 0˩ T'HPCNMJ҉#iwAM^;ӎF3 F)s_lRxG0H M[ *G$!_ץE`"MDi]U{۽pԝA,7, 6Qm @rԦe[yr3K;BsݲHTOS׀YrJ0@s=}2R ĢS$ΐ7$Հsb1U?>.1鱆 TY]t7ͩqd8:3gXXЀFyv#<;ݙyRsJo2Br Q5l֮