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' 4 ! WorkerWrapper:threads=2elapsed=13.401cpu=25.216gc=0.868factor=1.887zXZִF! k`=]ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUCXZV2]nJ6^TaFf"A Gs6N!ful>Wِt2Jكю߉ P8G%UQY?7H$>Gh )%5X5V$_/ΊsH<01B[%^C݇$9JD&? LW) {]moeRC1׵JYD=ޫe[jsX{/D~4;))]s`yJ0ݗctv#u ' WorkerWrappera[(t?u~k#cR]ؾRF D׈ S֑CY52&?KIR$eʕ|u)`Z)"/\)Y~^?&i ƉF#y,Eqoq~)udBȮIس\_ZP+u,VKa=&Log'FVijo2he o4yO+¿&?`tIj&˦*~K8'/b3(5-㥏.Z)H́\`A  ?֡X-oFJ&O2gld]|J~Ά $MjtW,hߥ10᷸n*Ǚȑ2&ԩĮN,<Ԥiݎ\xK402/}x S\ .FpBkmPWg;N[h;I`!ͪ0{%_1z*y8ڑQJH֎$y%҅uJ4(k\? JAqem1b\A~`<)@2qX7|GI :FG!HvIAvJ5 .a-~"PSي0:+2&hPUgtJY$ X󈱬^X)[YiV8m(a./vpû̦aNk&[1VDt*f$ h>iq=IӤj>I91;\ $W@%zJT>i_MP9(SAຮM3Rs2;vqc-_4 _޻OSjD2 < Pߡj;k}euC$8UaWK))|v5=4VS M8$saʟ( 7fcCeb˺XkabLF?"`] J9*hj2 \ 1w86蠻kܮ0TAI[fT2MgοGnb(V-mLAnyPpg4JpߡbriX?)kɭ)_V[E3?tT] ȝ,/ /^AݤS{քD㓺Z.z9b("Z*W'c2 ݄XuLt[l"ߜȗ* #KS0qт># 64pqw ")x#;?C3Ka/#\LŘ: b#Msݣ+;l|VJ|^AYԳNe@?&)ѱRZ1[Z%~G BÿbSXkag9/CSJ.( % JI7`HUzL0oQ<vaw-a.sP[5T=}N%IteQJ=hiZuJgzζ37;pNpI$c `A 34 T_ %Y;Zv n۬UGEogOߓ}=~3]*1\; >) F.Եp}ehŽ \ds55};NEUӫY/o.cri^j,[l ױe ¤UsH$@թk3@`X}=0EDa#frjVF&k|+ɒR"7xNbk429`ZFN[QU*<2;bbIƮόF&ah#36I>mI_ L܇؃6W6Fx*lLc@\]o4 kc%S5 ܀z)ׂ Ȼkƾq*!ydk/[S =72 jn# cʣ.nY}SѽA % reZv+ߺY#g'] `m