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  T T)% |4 ]/ HOL-NanoJava:threads=2elapsed=7.364cpu=12.744gc=0.728factor=1.737zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hacLu1׶Ꮇ#WQڄ ,KDi;9ٳqfFDv+9cT,tR FJGBfKKGY1䬜?#eˑVRA.KMw{~xH/Kx8 Իy>9}`t$Z&ѱ@?EHLɣ [AU;ƈ,at 0*gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EU<%&Xlh23spR F MGk,7Dt@{w 0IwB_cZq(T%W&UE;%tc»=tVgYZ7zXZִF! ,nT]ŗXi%9*WڭF>Buj r5RvqD%AƼo:[u&1a0m{4;;7yazmu֏EQ*<Zn4nmbؖL^ ;rT.\ƪ ~9vQ e,ňiyl^T"h ~k=:=g%1KNQ4:e% }Rx5 hW W@) 7"شXJUd;@[:`SX;DAE2AHY@ءrz~97܍mT9t|5wcj؃5ؠ,G(lWV@6,M8M3:sXBVc\[nvNasM84MguMcJƮ^lU\ 4F/p!ZzaYJ[:g[aN5^P 072ꮋi&E4ff/]wTm?VFӚ9z,mfsO0';+0?j:zTZCcMx9R7VCxݿ=+jVNVEO*nwg)Q͌dn|ܠ[EcYm-l,MDbI"FeR "cF!J Kn|$C7y%c 4D,aʁ:_BElvqcz j#E} kC)eDd9dZn |]SFB8ONn\I&Wiۮ}3WO ȏ!+M|HJ{X4gYZ326acce89bd9bd3e6596a43d006f8db7428406cab5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 % HOL-NanoJava