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 + D / Strong_Security:threads=2elapsed=22.000cpu=38.928gc=1.144factor=1.777zXZִF! I]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸ Y v=G|j\$;gT L@}Ql)3[%\Pm}<59@7*+YT4pTpN58&qK瓔Ve.嵥EԎ STZmᦒm%xd Osݏ=8\'rJf |e3 js*dhdĞ9 8z_2N&C*rP}zOk!P7AGj@Inˏ+ƥN ;%+q90!QI]V=@/DE]2W:-ajpHz똛ITuc(:gۊԄl.jHCkJQO-Vj#2n 1%ԎxԱWB '658xN.4g]4H!GQ5>luٱdӘ5l ^Xi(L!yy]a蓭F-aܘ"륲 SRt1HUh C'Va=U~_ANo̲BW(rpgYZ7zXZִF! q]ŗXi%6sM`=w.ML {ڲwN'k/[3m;eZ$mӊBZQ .B*>sWe,Gi߹ 3y1VhʓrhU:7؁_IY=a <: EJrj%6;[1~%QRR@ǩ$j6⓼'h&;'*{}S }rNs6R$VbH4^UPX3DAeWN1(ҧB iV6ݺ" vTj,+e <~;.}iWkIs79P j!Ѝv+|L|&`zDl`dΎ>ЗC3(3`^J7,5 7rHG3ޢI;='dHy)լ3q'+xVeOs@@4z0wq~6T@pb.J܎jCriHȚ\f$4FE)'k0J,(nCM1|_o%kB%Ļ/v `)X*_ 9cGIAZ wg;#"5S5+X\8BA7PT¦\׼N[®`Ы6}ۅwVWdХ4440@t*Pb:hLQf-v qci `HT"QijaU`יJoo[ U1KnA&ZkFsC\ bs%z]ՑxZlbwPf~bVXG7 7Y7iN\lp%#Z&Va_%5ί4[TJZJF|)k?,a ~d?u]c@273tV1m.;LUy-49LaZwL!zRN~;-1qѓȚ{ a~C~`(#EKkG|KX3}#wDF4f|z""giQ#k40MZሑ Ôײuvv@?Z#ߢdLli!Ail)B /7xbU.2ʎXD(-IP01}M.QY&6g8wlq~Ql b~,aSI$AV)mR~Eoiyf!^DGA_7c+G˿ ͫK’D`3\dy?Mj 9"mE>B8151h; |1E6 $wogYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 + Strong_Security