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 ??2! |D % SumSquares:threads=2elapsed=8.889cpu=16.308gc=0.252factor=1.837zXZִF! C]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|L"t$]GJl/Yg`Ւn;Srh#=U^ءb3Cva)~[) ڕ=VO.'W==\W^8cv 9 glcg5b]eɹvtc>\a&eɗQh* y,gJgnX⋃:!|ps>(@b-ʹ\`,&Iǘ',${(Fs!90C ߓgzWFtӠ8ODe }ASVYpۂ1E2gl_gG|jgBd^P }RMŠeW _܊MGO*qB 2}$<%+ k [aS2򬤌ҌbyyWK=n?J4ELhkdHR3ayoz(e  ! SumSquares<^ GMV7n+N?m0NR6Fskp2= [Qz$|%2qR %(to5X QZ3+d}/bD i /~᠗o`s c, 30X[`DeXw̚iK" 8ѐ4ˤmWH^H[h" @ ÊD1C2ߌz5V\!B.ٞUq^5*b>gÇ9k#~btdvHe$Dܐ~f 1gYZ7zXZִF! 3]ŗXi% -ڕ+ qhQj #EJsB)5f35Kh:ɓ4VQv \{Pq2;"B)ʄ8Wy$[C X>] QCSKD~!T/߅Q>-w83X9ȏVkgXU)рLLkD1X*ZfaExז 8YBh!W"  B&bH} =`uڔս,5Dgr/lw|b X4.J* ;̮BUAh !Gk}zЫ~˷]2cEoܯvK *;8X5rnmz6-Ke*޷,u@= d2*JI lWH$6v!%.lSD(/9lۜEE@0 -K K3~EWy,5w9:+isγ֯B$RCUnB%ܑ~E-&T!Qs"BLJ}M!j{Y`LM܈e?-lNIN?dg]|dVJAx&WuTm`QAs\zgCQ8]+T ݁P\%ý@?I%W/2}Neqe'K[,k.wC ˑmd%щ 2Zt,Faxf-),YML$YGjqF-j=eK4YV<R2+湳MɢL׈`(͛ OX{l ؙy}zTK1:ͨ1Ԋ9c,'FvD| {L+a Zں5x9gnbgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d84170d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 d0db52db5253aece2fcd72537d98eb257178dd28