SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 J1 lL Sw HOL-Probability-ex:threads=6elapsed=25.952cpu=45.432gc=1.164factor=1.757zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1MwEQj6#By_#+PyH㪕5RK[fkvI5L4׃uY]%a̪aAm |L;@ˢ/"=*!ļc=[h1jYg.98h[uC)J_0=,ؼaV $ΆA%dA tMLuhdf`w`K#d6rdt@K\ 1j12Ο9CMZYQ j $+gYZ7zXZִF! }2]ŗXi%7uw$FECwr7cfp5 2,Dufjl׏ \@W)ƇΔ|6\L)J S^ֵp꼥emrHҰihVp 6ÏJ!pc_Y\2FsGgcHRx]-D=qVFD\K{B2e~kbd-^RM01L7Ev@mvUFϖ凊9#VPmAhO)@ 8eB,z: m#\qs9luKfV] r4"ɒ.>`ع_KS_ԟ8ļ T}ﷄs{2EOT3SYߏm~k CQ*Q qH4>R&}h#͜k3^!nu`kڅoiJ'>f尹⍚ڻz\D=\X}AjREfT;9J@յ$jy;MQc0YqOb#2 ҁLrs]CBkK_)1dߠr8!ϲ$ i͎a/Q#DglEI 1yAx^xJ'E8AIB !HK H 90DsnVUtEKRưĺՓMTi@  m#[J"\OZԱYm&_bJOk{IH.vB-L