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  U U 4\ ]S Real_Impl:threads=2elapsed=69.410cpu=115.564gc=2.948factor=1.667zXZִF! - ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYDo}(d" dz% :, w[F˽ۗxDdOr<\8To^dq S[snGl% h(b9 z<'>_ZݸjO zkebMAK/p$f}7(,ЮWZ1Hՠ뺝( gC.j&1bB$AM'XLjM [ ߴIQ)h@3LkW%I"ϡ.޷S>4`.brL{D GJn6=ܤirɬpcf0S3}QBMNM2u >_f_uǻp$fmfE3s!k)S3vuAsNߴK9-e?i=F2[,$8ral@בNdu w_'PƅyD0G=ͤ$vx6{I/IX5iP+;cxi0X%Z/4I qVw)3DA}‚B#/*Va=8}_yPO/vMprjEG:   Real_Implr+όI`zXFJz8kV`zoz:!$R I^NOA5PtPPY_C1H>5祡Fv' :4w*&`;`U!'ٓ}GIk;"1*xA:L#R\O3gfUL2:}CW|uY~ Ý="> NcOU5#ga K$k$XW6Hx6&__lB&TIO7Wp+gr_&AhB]FK4ɽzPB:u7;{vt_z 9Pd+cm?]M!A2wPm=֠/f'i>MD~ ^/]"+7ډ!WX/ݹKA@12F0M1SוvžJezˣoqب|2˗ZϬU^Jמw.Ae¦>~tWf'o^˰1>I &c=G#@@͹4x D1}D}h8W?-϶aThvcKxWK+N@X@ǕPv'5 VaGl7Y^=m1;Nj&b1<\]$Q>bLD'3Ҙ//ծ cڕo(Lld~]ibXZM6kpߞkɩXP~u~lDmJ>~y>svL"=,TLH!~@|Dٟ2L~eiReO4b]DFa9( cK(k-1 "ydYLn1)?x=V4,2~s@&ƉLeBW 1e#jJ5a=^f_6^6@k~ `Ot3UJ+v8Mh:4Vbq9eu1LJtF!-AVCkL"FsXnp6VЇUϏYTe'Wӯn{q\n ֨>j.[ML1%+WZ4ph:&PJJX JVa8Byx7G+vPG' ?R~Xo{Ւ) WS<Hl 'taqc͹3)+^ / 8*sh#P"a ],[RȽG:κu8Lstp/<(_k{E:۠sI92#i͋| _BrM3Z>Á;[W`CÕ}9A 68,bH2Y)C[,PZn/b v;G໦S5mH-e4I5iM-yMB"BqsAiKb+𧹿zh¯2Zl|`X/P IqRKT#A>K-nBhZbca-1Cp\&DFYȯ`&19<sMh2I~)7 x:qS+&53ޘ )L*Yvgv ' !Cd):;BݻuzwF:uYavs}{̣ų~h:&VW-P\.U]Hq#gm#zK4Gy!p /{EٯSS۴ Ny8`0 ?G$,n9,sgx- <+Eiqw4. V'ŕOL;vf^`А@ʳ{f* +PKΫc3Y,ʐq?'G3zCK&(g!z"S,!#zˌGH}Q t ^orap1>s˖cç$rcv P8A| @qA6R]^tOkc