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 z% l\ % Finger-Trees:threads=2elapsed=15.542cpu=25.680gc=1.960factor=1.657zXZִF! Un]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgGBƬШ ǯKY86>ASܬk7q~m{*Ppg[#3&Ա2̣cEMq}ccܴ/6'+\i ~O++Jx/j𸍵h8ig}&U5nqĢ1[0cܘO6..t`M^_A-ϔCsmX`0 ŅbIWsiNVa4Qh 3s0٧D_j 8CXJڒD~qubmB'YˊX/|0O9Ղ,`ܩ;h8&Z>17=wT$lN>-H%察y.!-ЬYT`o5H*8;c$pM? oqfe߶}"j<9\VvD-;gy0JɅzbI8cSU5vXCmY_8>ˎW$֙/g/Jݲm N,_ Kϛf#ƅ"VOb2u9_~TO[UkJ*JDn[DH!yV׽(Qѽp?dԜ;8w,L6H.gɮU_~>vYĞ(YWEpN4~(IBl>.:skWU Qno['![)*B!i![9p +.2sh,ڣJ='UBFAjsˀ%!-r%G7,91Y,l3e/aaп`(ܧ#DoM7;9IĚS`Rftrq'2K&ia0kѸCwéET9Ier}KQafZ=]egBcʅ=k$ZxOUaT A-ȞI1bU` }#ܬaaCVrZ\KߜYtvse҂e/pubK>h(X\q`k"րI{/H0%..WLуsoXnZ~I]bc>.KPݾrH?L 2 |[zGb&1|j@G䮸? Eз'L\J*;vih,)#,Xy A7^&r v_S9 9m6XibZ I!+gYZ7zXZִF! R]ŗXi%?=F l*;5m#Vƙ ȝ*0E:)m8W^q=b 0,]hq˗i+!'?$< 4tϽDSavW&%xj| Э~n8ye/[4B: Y`*Q+>vJnKUSV_ *,u[77ve0̄sܣ֥]TwuZʑZ9mБL~ HjCJV}ȷzQ2$O)*UzMOhG_w*q6ZȘ{ʁd_eU#OU;HLqA 'fl$@W /y1gŁ%TLT,QC-eզw^Pg}KcY*rԻ|]x|_@2zK=fJeU]9,q#-FE Җ3?JbH{fX2SlLe"WQiݾ *$r;)#Lb +LGBs< ȑcgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb5614db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 % Finger-Trees