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  n n |< ;% pGCL:threads=2elapsed=37.905cpu=73.276gc=2.352factor=1.937zXZִF! &v]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍTۨڴ 'aqYdM P6!hy!.,yb[a;K 1Xs9q=hÁ7xuISFDP4vq\eX9,dZd'8{4FEVJ by?"@5h,&⅗WS[?`HhjjGE__$iDM7B); K (^.{VRA[,OT%rS̘gl DDvZ>=ߣR_&G:ᩞ,maD${Ҵo xRU~w3'gko2fa`::); bL=p=2ܫ 8c30 火VޣeTkە 1_G4+o5jJlT4|wdB@  pGCL}zB< &:A#w_P5)1qm'`T!\׵^ߏzHko"zN>jL IuGʸy.b#S5sh+4;ן~͝FhCs7bWǡݍMW%v/V)A[:rݢ⤟U QxjdvT8G{n$7b R 91h4gK٭7 r+$ iv`*0m٦ wJ(m72 >f[R6̈ XןVc4ڽ35$#QE]<̏YlG=&v }s84 M+k_gYZ7zXZִF! ]ŗXi%6y6C@{)BX"d荩ꜗ#uMMۥP`K`%IwKw6Ơ:|M"z`LE.2C̷O;b9?y(,-ffr`>F "twAW&"KWxL+C*y&0$Җ#:tވ$`%UW+pXFIf{zh(]=&d˥5S=@Lz˦.wfzݎY{hn$2|%. PIE 1fDre~-M)CHD lcmA+Rt vyZڐ6IJB8/nqHڒ}e?ثDAO,RCܡT@7}>DD,YR@/S."IfA.?6(d7?-֥:E|kr:,R0EZ:mm{}3b́릃. J/Όwk&-\HsMpl vHC\' Jo b^%/OTgA&;'"/t~5=Su߄Ʋ]K_vV% b"/1'0ir5upbqQy7KSxn<9ƭwnq{#Df<+-ȘaXC!԰H`__dIGY>v4Vhv1 kԯM_yD =EC1Äؚmn̻+JzƬ_pH}_Rh`oQH?49|nޘl!#|LܳŃ&˰S<̗r vIɃ<%RڶLP֯UZ^ ebu;;V!8{ RFH8-v%i=, aP}#,SwL07胟zu_.pƸf=<A%y/}LyFZ~d>3s.WD)D0w崭lCON4}̴&cwDG){ys,iiSϺ(f2Mď*Y B;mռ Gg%T*uY[~Os}֔łpn+_mw<@~dFjwBW^s 2,CA]J2b~F;t+9Zyr^qr@`:noӽ*l@X yAGZevsK.,ό)E3w[r_/q;Yéa^p?i&`Tb;ԥJx"LG `u0D{@ƪHGjf؅ KՈubg,H-M6G8S0N-97lDP/DOSWhYy1$C(E4M937u\Бk 1rfMs}ٯ T[&- a^h9FUFU>g朸1kcYpl0 Lp#3{"u?~r@7n0la*!6*,"t:-#B(dJb{ʍ~L\Qʋ ˩ItmQ9?og-FAt(eCet  2ȡZr !hsG)rL$&FFM%oq1۶U'ht!