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 J | %]CAVA_Base:threads=2elapsed=9.740cpu=18.932gc=0.908factor=1.947zXZִF! ;]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<;KgGF   CAVA_Base s\&ڬy\\"zP36NcЉ'GXl>PF*H"F`T\%L [mjsK}?k-K"`QBg*DO4ߡ. [c{i'-ZP W+lDCT5UA=`ֹhvIdA#b!.`58rc:ƖҢȃ˓#˳_\9F62X֛Ry{ZGMn EH_ %"]9-Ǖ=b|`dyTź 2^׏lHWN:v) 4wn!Hm@T2[60!ۅ1LPnXca8%o&5r_.]KT+|YLC:^׵eN?29- H9 ߁}[O~hEIH~G2zG>'x픎}Z5?ZvP^Pj !TI͵Q!y*i\70Ig҄sH,qD O$w8BwFؤDӔx%/!Uouvӕ@LĺF"9y׹^|~0^s_1@-_/bDX4Ts|oރf0?a8#3/I&`/W4H"zŊ<_v|:o@9'DYcY\\e]LNbYIqw 0AvQ:/˒ c|B?j9A :C=a/l_;+'!%rR/gU2\_Uן2M݀ϴ&lfd<@/J+i4VSLK i`4"#S2b-PK>wN%;5i敂7?+VDf +f \*Ѻuvx_0ZOM5gNɆd흡3κ?u !lhUViƂXSTG _>7lăAt[͟{]@6h#)O %Wr.lpX,e)T1p <$"ޡ;͉b3i~ Mmdաk?1$/wZ<"H-  w .gYZ7zXZִF! ,C]ŗXi%g?#k my-nXXC_0EM"z& $75؇Ubij?EwŇ+VU@vwx(I&mi;L9 \@X|Yg 5|WYPzC4&ٷ o^؈VHG@Z؂]QΰM3ufKBɑ~[^\/3C[.OQ^ZE }Dnok8l/2N(^^L:*82,O%A\4SCdhU0-B[SZ`%xufn9ַlhyTnOΠK>ēWۊѪCfHh2qNq}eLV(G[Q=_zuIVtVpժ/ 6(3&[fJ5 1‚VnOda