SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O D 5/ TLA:threads=2elapsed=18.600cpu=34.648gc=0.972factor=1.867zXZִF! e ]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ _ Bpsʬjv_&Բѳ9qG+ɓ@6t? $g̶ؕVRY@oL- {rn3zxE9 QdW8-d]Eы%ۅtq?â>#jL&;)-fӲp (drJ s V$1dh񀷝>gN99496IIc |̔+ŪL,>y7H:`Wƭu [Dd[ꓞ(-\  TLAzlnmf>Xu^D'cxa{m `ˬkc(<0n90auԭ\zۑ'/ R"zvD^k+Tu|g6J SbT3(?p$mgv-`Qz 'QSg}a}[ڮJ߾~͔9%tӞ>ƶp.s80;39TKXUd#4lx鮖dztaA +DD_dZX?SP 7u#sl>lފ_r/? (9 Q9- R2#6ؙ^?\V] ď(E"|dX54M$DLky?b&8c9)cBq^}۩o`]niO4%F4p}I1&F>2Ci% qPp,4I)[dZ|wo|0((_wX0D}Rx顥_j[3gӜ:mÉ0؀ͫB1ۂ R ц4Jtb_(`˱K~+o;ej"MzJDO7r.mزs# ?V)'Nw@Q~\ڷJs' ;qN-8KD} ,3u^@xۡ9wqcn,%kV* ӊPޔ)2~$]b =G"W6Ijn^r@^#n=g3.[S^'m>h@S+ ֙z¦RRl]n:xUo޳>?J"+T짯rSƿRQWDhnq'KW@Mlp1dLsʹ^Epp_"ݹ 'ᡢ[͢a.)UMCa:++M]YIbvKc1eHD-Ω<;*W3^E}~h}?OhgYZ7zXZִF! g]ŗXi%DQE6h7ƒ!hֈ`'嬌ՇI]c6Wuڵ.)aX1烜 OS >z Cl,`? :ѺӒ>~Ӂ"YvE^S٤LZd;&;sQ}'E> #,ֈkiTO!u( Lo٬{8"{ V(E=`8'j^&þ|rfkj@rXq#ʌ/+3j7L?-:ZK{U-T6O&mAEP$qm 7x3mozH#-ݜVJMl7w{78ΐ:G vu~X[Qu{u掅 }gF,،S־bOOI3#5?MxoBh1γv]إ TuF .IVkψ!WœGdt8˯BbBM˹#e~ fˇב^3\dɤ*֒S9֏rabE̅&O{8)(0mʮoL 6*L< :r2?g&{z YD}Ȏozj´5\ZdBר2jSWhcWG =רpkQ2'rSs?d<^iPcؿ8{?Hd/^!'H "B*KE~㨷PW#ľ8] Ÿ`*`M]L+\X0&i⧶.xo0{m`b"$a#qwSޠxFYnMY,>`:}_c H'u]Sq fA5Ȫ}xby}$cV{d@y>䧠|]DNJ)=3qb MLω.L_!VN{Y"gP<т.Z lLq^eOV:¹aK~եF1|.E4GW4b _!)qr/t:e{ך ?>R#AvSF +'{e-