SQLite format 3@ - llB77#tableisabelle_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, "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 Sw Minimal_SSA:threads=2elapsed=9.007cpu=17.200gc=0.456factor=1.917zXZִF! 04]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒R79{ƒR/]ֆxGhfRyTp`X0+9+w蕥J-7@J#8OM0*$wFF?Oz^B!n@~eħEE,]Q3k4r}h}jy+A ci52ɠڼ`NG96(&p.A"zǟb/DhEI^/\WYR'Yˁd\|ȑm3B]|,|+mAh*el3tNNʅ}ФOSRrI 6sB0ތ!UEV  # Minimal_SSA^p\5XMinі|vnFCsŶtƑ1v*:j1%~Fsmd{i~(Ȗ*,{92Sc{XNd tl9sv3U+xۣg7):JvE;p"VhF=%>*? h3Pfa&/ONN5+a %snJzX t+bN=GNYx^y'o.8DجlVI#Q*E؍ VPfR e>|EsѨeYܳA$-*WdCzX^m 5|~NAUF[ɍ|9i" V=i<5s(~zlzY޶ʧKԦ1lGn"9'ugֱt5eFW#fvh n3IX`$J y[T`]3Tlg-ڔ,W #h/ =P5x9UDMMd喼j˦4KI;H~Rv֩wgr,7foF2~澲>^1%xˌ')g`aZgYZ7zXZִF! 5]ŗXi%B׆XR"HgD= سjaE+-wn%AQ*Ǭ^%YY4nSۍJ@ͫ<ɶfc'%zRd_>J"y0ŹT2Qfޥ 1w71czG ɛ&$ޔzJ8Ԃ ~h/lp:c~\3qB(',qH(ND(sɠZ=/J+|Z+\j'N@5-Ϙp& W/&[xD&:ЌK6ce5yW{7uSu=* \$*ȝE†ʠXeC |F¹EjM,P`.((D-x~.GY T!/[(RSt9Ş_P,0=mxU9:&Yw$4>VIUOo4}Nxq"OVg}rN1D hvkH):@OŃ'u*96,Go C[DUN-ZݲW$,ZK/}dd' b主ӊeJL^@f~fd%aFU z-/8Fה^xJI5+JOYD FwH *WM@~%bֵ/:p]DgqB_1>/m=u 7Z,udWeZWTJ÷-\n3:8u߂Àt z6q§T2 U GW&1$Kw}.I'Ax [ 7 #O]ʊnL_ #f~S UBF;`Z}5Me /]g[}7-tWW”pc,?7NbhcrlqPgYZ688725a894bbae64690d8972d935adfcd9a4afe1 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c14428239 3b834a811160f26c9950bbdf5d1edd0a5921b522 a9c3b059e3c85d459aebadf5720dd3b00e21476b