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 UU(; Ld ]% Special_Function_Bounds:threads=2elapsed=41.023cpu=63.356gc=1.468factor=1.547zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _ hYng(N]l'uҷưh)_ ˊx%g[=݉rJ^W װ״J)$Q 7{׹O\`J-#韟p GM^^=w,GC˨N5\j+1kpnx&,2Gihle#7 cKe`cFJVo$a/ T'2+B!L*h  2$ nge\|v8C}%V(XDX mzsM KϮ ͘so ?:o{xy?EAg-l;~' Y0exWYNhF_C|?VT@_&{h${y;K> EFbHcQ.NgٲG]ߒ9;]Bnuu$i=u:%! 3*]@ks`mґR<%qjreVܾw{cƈIn"}b%v8NrezA"£7weBgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -ɸ]C<_^n2H+qdBB$)%Df(՛6v:'U=hd Hٵ$+yL@IQD8KtQxgYZ7zXZִF! ʩ >]ŗXi%6\YTwO!2N0EY>R'EL#-8|s<c,^B)XQ]gX\ꓩ8Rеl>O Vg/bk^L86"]tUI ՠ\Gll:-{#- Ř '{/rXCf<7Uؤ@wf6JiK7 ;,SѸKGkR 1`%ς).Bq1iY$leN5+C(Wc| gfM1Π0j9e @r؆K,u `Qڲd&& O5J~;Nl(Q@ 7YhtP9/+J >v]Vi_)45R A51EQMreNjlȌZ9uAƺSgie1}ªHXD"2husXaT Q`vRݭF>X 9{&'ʮ:T盉Z;X7rBItF<5/_*U,}96[Gxj` b+Z^r@2xհ nk0 cs t(P5};O4+ pE}l&8xG#.ՏYW)z.tl|N, !|W5V}?5qtQhkv~`LKX\0Ho]:/pEYÑ۪f z2ns͵@H) 9%p@q$77zwu,8SI+M* :<7vM!LX[ I.G6zѦRƌ&3' 5I.4Eree M]M8̑@KoK/|WyJгߋgjfڪ:]ցD(`jAl2ˏ0~Ϲ6CN6fR`s&}!w@uSz:ҵ>`fl7| +-]nZqU֤V.R,| M;BsD07Wݞi#0 ~׀p.jLyQ R^}'X  ܁18gZWk"T?ļ(`C*3ssԅXHo~j4P=b6'g nǭ&܋|KKa/a%̢Ua$`kt8rݔݝDFh|!0Wv&"2 Sf/B?h`|6TjmVӘr_7EI6p܌]c?~3H]bJQ0өe0Q\DX ͅEXyK&_XpcM©7hy}p# R*l )¼O<@Α8o]tJk*6A&V7LyCDWFfn!^6Vƈk*}̷HϞI8$bphyunV(Z:TbUHeA&-tYhx,-&QFZ Bc2Z*Lr6WQS5-j-),jL'fuP,~G9wx7,*, WT;JKd ڢ >Wt[n?nCdZqp&`m7"st|\&S.mor8E .u NS@[B ֐Eё}/0bu;xp/)7pz|Ye>.iTF)HBy.8adН#;lũAFUr@W?(_?41N<U QQ"BE3ȹ#~(T>nVx X xy,>[n