SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  V V DT ]S PCF:threads=2elapsed=58.548cpu=89.416gc=3.040factor=1.537zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! }1D 3A|R23\DiP<\(Y&n՘_;fbMHP9' (4'%)#]SIE S(LΘW!vh6zo)>r"t߱n$T#&P+ym.=k#\q E1'o7Eu*4u/'y um R̺pi9oA#  PCFHݣBք)92wG; ~<_ /Ue>3v5XkP,ٯ TBu/i*%TbSu8B͇ ;A)1|t.DuѺ_c-buͨ/U6By?B"2ëЛGXnۓTu{ZV^J?QLMjM1]3Xn8Jb;Ld= L[KVm^%~@p] VJ.aXzT5I>EPzNI8Wʰ>1JA1Rgum k :ޔd9A2vgYZ7zXZִF! )]ŗXiɟ1˦r*E$O @zֲ_}@aK^R}B_~w(p/lЌlJ)U[@g ӌU}[x}8k&'epZkB\M"q}ӱgYZ7zXZִF!  b]ŗXi%ή++k|~greL8Qc]i'+9iU_:>D"E7zSV%Gfˡn8k 6 i 6t6+BIݴl?/]0>Ds.t9ؔZY4'.Ŕ,:MDn@9CdGcWqO{9&>8+KJ#s<șV4 /=i2VxGP> ;O,0IųDiG6W6,"fd/z,xesޗQM/YrVu {} ]8J2HjjuLDh^&&СO0C 7R'XNH8@v{FkTԟ}>7<(V}GF}˒-!T T5|V ݮ8%*L pI:߷r{≱x[AH%!Q@l*3_R;x64Dscg DDkl]JBK?FIyx1ٞzhj8ĩH1t'/ktr=0^!a/Ԕ{roClK!5_Y'XM)o;(u?Hgit>DhfkMw˄7eYC}bysB 6MOXA8uǢ[B/WdĔ*՛c 9K$bk9F+!1vNO dQpW6 HjܮL9+H۱&6M s/zX}iT2cZP.h{I~^&I?}/Pۭ& ?BM}4c<;ndsGY]Ԫ밮C VKX?N-R`qD6i v2 Qy W&p>H-eE'у> ~U[ko>9Ń6‡\!^+RW%QGzR8!>27Mv;OHO)Ma1vyL/r :CV9qάw[xO@G\A`~3c><lgQݾJaӓP4GٞW*W:Ψ՞;:ܽӣNy#|){'pQʃY!BC lquvZj]y؛@wxS7&??1G .+aP^4dw1Z@>7GjoL'f~FưȆn-%F`M> M GֳZ gvS0wA~^LQnn.$|(E:2k+Sr)DS!w2·JOT4TJ)3ʷչ$'կk7f7rPevj8膱{+^,D+("^ 6j?{~T!n1R 6Z yꢱ 7YNh~Hw?3D#eg 3FP6Vs>_v/ÓMkrrKo ٸYfio05~ZTUHm|:w@+g^L?d"c ]T.˳đ5OrQCW~|.VAkA=9p¾8$ s_U\@(G*N:=Gri3ܚ+߿RyڅS]քa> 1#lYPXu3z67NyIWX2uӝ6f}o:@c?xˉ^teJԥG7`70 a&"NU j:HQ6W-=( H!BˢT7#QdEΎ*NA9,%2\_J}o)}f3ZՈRjyJPXhU>OX J|Z`JZ!q[峗 bizj7F߿hgYZ53c01184f183903e3e5ae1f786d6539182a8696800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0 fccb7c31926dd505d9dbd177c5f23434c73f7550