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  $L ]S CCS:threads=2elapsed=21.091cpu=35.608gc=0.952factor=1.697zXZִF!  ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H2i`/χqia[M"bxdc\{ 6x87vƳuMd3 Ga(йo)y` 9Rc#θOjײKo1i@>b ̀S4%qJoêyM~!ݡeI9 XǷt( Hoa$\{IEQM,]ԚZ`#*c_ ٴK3ЩM!s92@Y5dXg'_=y k (?f\mDkQQ TÏ00&"͋8ͽ?T0j(3ű0ۍ*_D:qQZ4(g߬apɀC+OFaK;L3U2LJ w9ϰg~h=kR+i}>%xW@FIq1Q5 .h+j+<ĜWx 5 {U"Xht/`L* ޭgYZ7zXZִF! u]ŗXi%;уu6֢FTրO~\_?}L܄]ۅ1Xjo&]mЕa BħzDM#a跑\|iNu?ΖUM6UTÈ]kҁM&jHSX@ eEA6xcjN|H%GƘtq={T # +!7h ie /$1Anq2$lR1Q*LsMWeJ)Z:#BAj6<,]̤x>5|g$V^z\"nn4C,:^)4ٍ-[nygQPCsnݕb]Dž ^imيe恊%;`Rwϱ5?'\Q@VVPgOlɆup:66T7?R DlafzP?, yABޙC͊:aCڧWyM.8,/a.qӧTέ _d+ ɚ/_ZEzVq;b ,'MC8C ؙ MuxB@b+G_AGEJ`$m.NJ;T=? ݣ}blԜX+~܆!!8Ӽ_i-oEg'PX)%B zW ƙߜ|7겓"su~;{-_  .VgYZ56192e3586c661199533e6f65d50620c9f1f91bf79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 f3f87f17af238982d5b87cc1e12eed397201228e  CCS