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 RR+# $d Sw Minimal_SSA:threads=2elapsed=10.441cpu=18.280gc=0.416factor=1.757zXZִF! J]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5j}:rQץ;@=swWsI ]KFf͛LLv<Wd[.OM.9([5" ̞gnKbU"C;RB`(T~gZ&7W&W?+]:χ$S*@ "* (XGȉR>OG5 D&K˧GUHT*( C´PL7hSJIBթӭqWqoK2CDM .W ֧$dgYZ7zXZִF! <]ŗXi%6qD˞td/.suVw=Z֑, 啴H}"Ѐ;7Hgww:޼n_)Y^aOEwʋ0>,%l'MY=UbA7c.(ŷougvF;#U 8҇>z&pLxʞVy2NGD<]XP?a|ZplD)J5dYʗWS(P8Joʝk@/@H6!=bNՙtŵcmAşjOReڅ8I) 8ҝOP:.(Wh3ڲImkۼOʢhr'bC6faTm?_q)ou̞8[$vJ55xaH|w䤚L])Q|HͻBEb[iO1 0]h7u>2 ^Kwh #]BJ+7pBvGc${@"+_ۯ$s[x&K<3OL٥ E:Yt́gcH-#0y.DE565')`^C{jl9tvfUV&M³nrw~f`YU4¨#ĝJh ^v( [*Iz2Q E#B]> )D-p"Wpzz1ULS:Ua)S[m{wi`-;֜А>+JN]Ŕ_3vRp- X$N[klv:<9} U#Ԏ0u$bd~#$oxK&wўxk: Kaއ cy1gYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 5782d1e381411826a82f76b39feccdce77eb3b55 45d371a88b99d33d1d7cfdc29be65da8f4273bbe 2059509980c8c978e66a1f773ebdef98f32ee0bc 41e53c6df8338a8465b2fb6b6185c5e98a9d3d81 # Minimal_SSA