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 b% 4d % Finger-Trees:threads=2elapsed=15.951cpu=26.284gc=1.920factor=1.657zXZִF! QR]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgGm*f:BX:}&dc wԻkQAoެZ0v 7vŏͨ8lp*^#ah/JXc)'|ܰBB&W(L4xֈ D?m~)h'=&XQH.=ONJB lFRA9[$b,E; n^st1U؇9drȘ+0"G,_ W:وQ40>gU;?,XSy~0xLUsgZ9 b ɯ2N/E A .3s{k%2~#Kcԧl6蕼%:z#=q+C1~; (R*;(%¸dksuBۛq c1< p.+Bin$RhI@KBVzX9{uAa 8'p9b)`S3F @$$yV?+{jF$b;KUC{#eИםS b_2Sak` I=5$҈9^c *VbC(ώst mVdNyY>91:>7꧖ܟK}SIP|.A)ÜٙA7"05^\SFy/|OqO45Ut\ar cNVq_ YmDdUœ|m"#-ݧ}ˀĚ?0-eY(GՍ{+}0 _KoPQ˳T2q"PoOR_zP S\W3>q1}B575L=;\ۊ@(W#r+X׬ "P%Gk]|Y>RDֱ҄| ~{ʃӤ4*'X'5٘If(@Ԑ?eΗEfej]~ RBH[mr$[O%8%фpc;(­OBE׾kQqa<-jH̔4p|1&MB ADY`Iڐiy@ͣ4+@gա)@Ǎ|~y-$BV=E.Q.)J|51 (wLCN#@k&E[R4Xit?ڨ?mh#i1 #6k,;鳵xWQ"ćF|BP|ِ:eoyp؞iSʀncT4ovÌGmEH|u3';ӑ͉5P;~hPP\1gHעWSՓ8"oWit'?0n(O0rp ]҂*ȴO:; 5uReZY 4hQkJ%hh%ΓMZUކ2)JoRuv2Om ]'>LGd գDgYZ7zXZִF! T]ŗXi%s RgС$Ð[Z_s/)#ltz{DlڃiU "g}wE0NfJZCڝo@lU$yR$Y\x ?eAlvh6rSDfhS5d _mrDh=M"b%?70A}Q%AmO*1p8a$?hXdTEDhD3 %oF EE8ULҐh[rۂ*wȑ, )?ny/dB@:bwIn?A7X냬21\RqַVY@;D#9M7vōQVםsdgH5\͞7vTXȣPzT=ój c#~I$6EDQjsT@ߌet^Iz YUFd:w*+ UVЍgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb56149711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 % Finger-Trees