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 8) \ %S Dynamic_Tables:threads=2elapsed=8.264cpu=16.180gc=0.420factor=1.967zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯl..ü 3ׇ2d0NEC"e@&c|bd|%<6}#^x1IE3eЈyuMf~qKD7XR}/ލֺ)O |R-Piw=jf}!8WTmKTu]P@1|/pO/ 7vLyi$؈ޓi8Z8#-uN.te}÷tp# iZ53c}•XVi&Nl8ȝ(z1#QwFԤ#Q_M㹺^j#K~8 3Ҩ%YEix!gYZ7zXZִF! 11e]ŗXi%6׮ŒZ]Zg>[ B^,+ vgD>s6JQu@%_N\{8)fN!!DH/7C]Qa2s%szJݞǐ[BoOm+rg0լ>,x;MhccۘTo `x2'5@{&^V,Od_#ToմcꣾLߙm:swXO8;VH< ~)̭w rF9dM9E* 0__*ܶ"DjG]aDźL6/MX9BSXp"SH@*e`:փE֌.n/ibY$](ځn2mm=>ӵ6v^=1B8DݗN>%+;.4i$GwfgATsB0gڨ[_ظ/vdrmF*ZpMdL5 hYhP0x8ٷ(0'-w0@Ӄ\ο`2quXdJ R]c-Scs 99;iux'k$Jr$ewd^/Gm[Wp>5$ѫSY;~9צStp7Q4=㞈&U &E;|tHR]ԯ߆ϋB9vdJI#ɍjZ81m+>RDs=E3+`xIxw{#+$Yd% D*bsQw̢oFXD}U,wPP'̠@ضLB vbVXgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4b6b55e003a174cf9d57c6c8bbf6c829a075420e ) Dynamic_Tables