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 q# 4d Sw Minimal_SSA:threads=2elapsed=9.210cpu=16.884gc=0.476factor=1.837zXZִF! .W]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5t'-a}. m'%=U\/B)L4;y};-6u>pC%z-JlM8q,=fjuܻM;P+R|#Z3pbkFC!)@caYq{ž ()sGNMl{GkajogcʳK(Da)f췋c& | (jས 48Ù FCy6cy{,rh(s[KN|VifGM6 f5U  H]C<͉ # Minimal_SSAɳUڊa"yQvG89Q gۖ,4Y +s#<Ɩh *N}H4ߴro 6+QlkT`2x$ѐѲ#Dٶ&,/.C192aŠaUTCXEg ].Յ-fB.."!sEfr D<аhO@wɳ~5^cV.r39wf#qqGz]{.gW AGD9Kt5eMio xvRx,j[ՊM911&/#9bGmkiy^FS.Q?py=؍A< np|ewcҽh:?v:B)F KC@'GBX,h\{Cr5Mf2|.aH2m(49$cx|?WxVyMΔ-oż ,LtVyRb&!^_qBg^K}0ȷ1zM&ŦXvqG}ܶGI $$C Ia$ [PGH9Ϣq!Enг>tAyh2[WZQHARv ?-[s%Q߱'@|JY@k/C rB-R7JM[Ke'sY!z+W"o54O@-|ܭᤸ4kF8Lj͔^VS~u!uos،l>.-)Od}.!)s{K ߐAeO T4Txwojo: _fj6V!17"dS ПѢaxf,(;5;ZRBde@LvGfS>w @Lx֐,sEC??;';1$n@gK%D#nϷ*~x6^A[ +ߐő72; U"$ldx$gYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f74137480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 0f713ff64db24183fa804d2aee69c29e9790968a 1c25d03fcd089eb5de6e2cd99711c3e700579008 7c763342bfe34e0bca97c5267147f396db28ef87 344c8be25b5402bbc6ca8b6857b01f95f3e487b5