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   l S]Matrix:threads=2elapsed=48.277cpu=80.732gc=3.076factor=1.677zXZִF! %0]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z zMVm- /AfgxV[5 fU=Ҁʹ]KgYZ7zXZִF! e ]ŗXi%6yu.lgaS-ꚶڤ 5YaLͬ*p<Wm+6)a8l{D'PUf8-~raKS}dCjߛJȠ?u s3UWMEYq)ȹ;e%dWhH4X9,߲Zi\[뿺Mq Әy۩EnG&GDJo6ݼo#/oZjn6v!%oI4N<HK9"1t}} `9SJ8׵O jl))*+(ARMaw{__µ 랒I$'rp^"Y|窤:98kZ6 p=:XQ jl%JwJ(y% ҁ,p9vO#j1Zt1bM=qS:ͱi2 :AldҡC=d:1xwsdqW'vT7lqA$QCv2K8e{x#w"r_`1;*y65ELOK┈p: L7q EDlDER!Dc/jKOrmm-/GV{ž4r} 5< @ 8;:Y8~b0j A wT Ydc4#Zy  ; @R cU3[wg#_)Q0Iizҟg.>_?U}C4vyPWr6o[<#sy5T=_$0/-&&%XlMkxB`)Fn ʁ[CQOzey nuVJV&-EF(*:\1&% yW ":l|E45iE4XR8yzqƗ |JZTP+dn! JNq9 %³%l3>?}O=$Sc j~8^%Z6qR{ 冘$4cj^:#cɪŭ=[%>ّPUCgV 8MuPAVΘc tf2sD%h{|m9x]f']/HC'շ^10n ֗8 OR}#٫ C3-֞u-c C_-^_[HˇjF$5+CLU 2YOC\G0wBbZ8"jֺgKcѩw`#nS>CZw'R$.a;=HY{a`qp&B~ԽQ G0\2.֜599)yI.$`! M_f^".юrGi05 S *2/EWG9ҧVN&}.-Spʁ4֧m@WjJ!G",j7c^2]RkP<~*p4\4|D`HQ>owO*IZS'f4=[ lG8.˄.>k;R[CKк0x_őR K&^*Q-LD l# j 'g nSW2}2a';d3IY4oZ5T17HWhUG.s<@vᅎ"uB΄i