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  # d D ]S]KAT_and_DRA:threads=2elapsed=43.164cpu=78.672gc=2.996factor=1.827zXZִF! 61]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%m$5$1t <1Z{RI|͵LjifFC *kՃ*(>rΏ5N7ӈFP0#h2Gf\+"a!ʈa2Ow1=Dr*郶W-RP2j {,`I RE +0Aj挦谙0sDꇊVa[1@Xý:teSlV_+cqs8"(t̿hwI={ʕ5 ]i\eARG!"u̎|O*rp#߶SSZb5ԍom # KAT_and_DRA^b2bA-ٝm@tѓw (.T+41 NGrWN, %(M"!5@_W:Aw[$3EUS<'|2Ӊy?0tN9OAFg^CƵJX+Gb.n 9ip)]V!ZwMә P-n iTh~XÊzO3#L_yX)߫-bUZ@)ǿe]z~7gsr"yy7*<0̸oWm5?lyyWRLܷ a'Ti#uJ?mf<[:"$ãs?ڂ$q.kˆ㠘utya& OODd,zUɸS̎L!X _Du $r#bR- anbƢFFiF}E,smoa5z[4VO*T5WJDipP}CS;G đ.W'mK=s|a/~c^?4؂=-}l //Db],JlqO/ݎfZJHMKiKD_%@s=`nLy() #t4Bc荃/OMjg{#DΝ7`_3+#_zKoDW V9Vb%:: ξ1ߏz r,t.r#lR l,4gYZ7zXZִF! ]ŗXiɟ풂z6Z𭉞7dK-3ùg4E4:j` H5mlvg0߇v\wJF/g"OY iҗ7 4}0@Řy=# Fc%fBw/8No`UL~VHдԊ_JMD(%;3/تUk~q#=rͦWbrilְѬ$%)oH epZ6'#҇gYZ7zXZִF! Q []ŗXi%6So|g.0, \lk@翟!6QdR}\ ?)BI1e/5[!qQF 1ԜMdxQD' 1:}Дv8c^7 ~1Z.UMpH&TNjWz4[ c lr(>y &cP_47_\␆8^zp\ػs}CU=%`_a&t6pМ1yPxR`\mHpB6<M\+ln MQ98,$ 4 1~u}k('uM~2IVRQfp!{C$[ufC Sd|>+N񋚓ʪZ4J\0lHBQFV 10_a Jli?I1b~x]-x^SjBnD6VLAK@~*$^ɱĪ(S#3#GW.-y1:x&(= 2&'66;sBӌT"vrNOPUk~Sϣ%gax{XBVK{llx[,+zdnׯ 'R+x}ꚯ8:~='ƴ^uS)}o#)Bd8Wz ˽2TY_" {za^e|i<ζ?Zi.Hbޕ4{0!Sk%MY0S{3? 4}IyƟ2Uq)/i-b('Dkߐ7N sj_"[]jm%+APSt /ljՠ1֕?k@De0s<*kqAjv7VAiNP$y-;+~=b0:t %mS'Ȍ΁VY +g?ڂ:8 6H[x}AjȨ62b|vYkh;bϲZ(-+f\*.U}1D4ҾZtts_A/,lH.׉9] B$1$"7@V+Wݝn4.PM\-M^a 1.nO.2oųyFLشbHyؘ$gXCg1PZj*eӗ+ ʣr")wŷ'ڪ -aUXqt;[$!fd+UBg>LQl;)WT] #ZQJ0>INCLRQ[m>aӐnHҊ.`TdseD#TOKͣS[?-˻` ?ԇ tS!v퐍 2%ꆢeT:U֟N|U^!]bà]X>^< |lo.UNcU?MYXsj, 0 &l;$0w~`am:GpAk >hI:>E=`Wr-\F/?KWގՍX">HKB^ " yIr u$)P0`L T?^0yɭp^߿S`p}Sv$Fc>e-jߢTE̢wY7Ĵ^81 &YqZ"،%^XoU,4wT5P5T=kuK&aJ82 R5ݡ 3ӹaQ(ӫTzNDLqn+*zy{wTa: Fw®ߖd'bOfKCf톦{f<>8^dkPѹ#l]24o'geir\ƘKhEARǮ,4>Цצ'!ggm߆&PC6BQzk, pr;n-C7OMh Z󆩰nez@iUyҥHc; QGww8݌3c}w_3Z**a(,>LćCh]CF1/R{Ihz[4K7ɠަ"