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 ^1 |d Sw HOL-Probability-ex:threads=6elapsed=26.548cpu=45.980gc=1.212factor=1.737zXZִF! x]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Kx?5`ݭS_i%A[(#01)Ymd %ե[=5AG:Gq-9P$? ?h$Qr$dZ-l¦WRa.* ~̢I}榐=bPd ԥJz{dPb)uHG|:1fmquP S-xZؾOk{b^p?A 5ѧJ$gPcO݈+)lSA~ tdj"0;'#ӝ Fź-ģG蝽`9 gYZ7zXZִF! };]ŗXi%Yv;rU[Rw)·j-̄]-&_KѰcŭ+-CN2}ee%@UPbJ?:H[Ouݗr8B Xk12*olQ߀3Ȏ&' ǧJxe`݌*M!v\nCMЉ0P3լj͛yd?O[xʹ0w+gǴr@Xx7 >0dlD~ڠN}'u/<\bFh<%oa[hiJ$K *M)#I+Mі`z|ѳ3P}0%)^@_I HINO/?Sզ]ZH9; F9T*vNԵg3KҭrTe S2O".C#B%t$5s%UzQS wYH Mos% A^CwBqo*^ЩWevͅD/]B역o 59M.Rd/r Bg4[ۄP\WLyvȐ'S,PU.*p\ɣó7|Geaה&-Oa׳̮0%]yG-;,@F%l^MBgV)wć8 %H𦜵ެrɨZPAޟ&9xEi57'v2\Ǣ5n#7*KQ=,esLjG./<>pL,&klAn -ϾNމxJ$< G8^{ۇpo`NA-kx3lN=Vʦڝ1H|}in+<]xl{sZ v5ssƥo[]f:껉l?r:da LaT. tO|pN>[U|>oU-#S}H,9{Y'{&fA50Ev|K[gg& RR =[#.ު{f=wL&#O d*"Yfm:'q"-6* X"hpB3P9:7P{`{{jlN^ʪ؆ߋrOy%)Dpfdῴf2e*/3 ˧V^acqg6Ze%wŽޚQU DrOhɇɜ3 ?t(-