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 ss 1 |\ ]S HOL-Probability-ex:threads=6elapsed=27.530cpu=45.784gc=1.200factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DcpNNK@IK)RWh#gΞQjq*=orښR޸:52cXOtuQٗa ~b3# [Z=*-R"cB0)t*4),k+n;c:yye^NM] XöǼH8i<98 'ץ Yej5نH%TūG+4܅ۉS937c Z۽=YiРpI&t.z!KL-/ED1Q^sUFԎЄ-Hvnpߕթ,:q[`qH DP dGI1р{@"#ʩ_/=eF`åK)gkqaGYTh= ={=mtpR=mVgYZ7zXZִF! e]ŗXiɟ1˦r*Ǎ9-O_]/9.KgxlЬY-)W_|dGĎ#ye_?Whm[';aczmw"{_#k#:c0)bqiTK0A#aXd^XpcM S8ԶfTNi gYZ7zXZִF! +]ŗXi%9# z1B{&Z?hXkjL?E+g)]L;TOV 4,iȀ\sBv$L.C]+K2g&5Juf\+P ui}B.Y$pZwv6ecZ֩Objr ׻zF +0b|L5OYr$%[ց`WtfUX1Bڋe |2+QY42Qv(ײz= &3 S]) X1dU9Zb"wuA92.' T[.U ӦTӞL\d>S'0yPWBlj}O^"@" 4㨈ο$n*^s4GFN6Csd f3=XdPAwn%isPBZ㛣 .-&f9qk|Δ:nP4:9۟ں#Ln\  hռr!JRCM,4aW!^^1GՓ\h Q*'·$,s+,'N"`4 OrLYaW__{xHk> ,.ZHsLrJrQrf(3*X<,[(Bh׷C9@[p-n8dZ @J,Yǹ 94V9vч4@ ) ~h"A!s3+[#%|<#?!miz I~+l0d:[ ط Ӄ UicMx ~Dcgk6`M@G =1Ep5eh7$?[2 ʚ:]h [?~GAdEȆ؏"mGi0."|y뭖ХR 6dELxoF)ϐCe<W󍪞u!*/Ob#IsH[oO l/+`ޔr/䄟YZbuÂ(Q M+}M-^,n&bjPCc>|?OQ$ͅGq7q,)~m:HP,ԝ#r٠=ݏوtǭU yjG) J ƾ wxAWNhѬ vT![yӸ2,]1r) \آ8NΖoMzp /kCg70c$3\`[X#^e AJ'熏 /.n/M]K|E(8րy%HdǕn7\̳YgW\; )QMζqz²-/>.y