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 r# \d ! Shivers-CFA:threads=2elapsed=29.936cpu=58.204gc=2.716factor=1.947zXZִF! e]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kKz;vMei>S~T }R'^PǢ868LBn.! # Shivers-CFAxYi UjS^ Gևg6"JkkU%^?̲AȆQqKH| ^GA'\MDWk%gkԔ)#~Gg (q+0PV5.!0ơaJnJFЧoDܸ:DrU*#()WщӉavUt{J0&%g!ҩÆW;}!\ <'X wlJ\-~>G9Yv 785'#ʆ3 O%PgՃة>$Oϩ'_}q2aIÌ[L 16I|HTu%]'֯ Wg٣UOZ:u,H)O0e}AM`{;Dr+if$ WQ ^I("?haUoA *ڮCKu)Mb6X=Q@OY=em-9x0( 7XbE'L|m[qq#Σ 83 M$+g|T*uNk5jhJ`+o՗Ja5$Abdwxغ 0#M.׉3UZa/D݇(Ϭx3RyxԾڌ EʜoF-IR¿{UpFa{w̎|UQjP[JQ82]чr՝Řg3)d 7=/"/W,eQJKviV;C_hY< 3¾oMNHEec8Epmfd nqZeG.R?g֦aMnW],Y[V5RYfQJp~:x%9yf/.nq2 LghTA뺑ɟ_+2<~-q%JQgYZ7zXZִF! _]ŗXi%Vo-LW Me'+܀AgQZSđdM%HG_jkGL_:`M(n0l rAjf2Վ.3al&1\`u`Âcf_PA.2d)mY3D.ۮK\DQ2OG'!ڡ-qHUrH[^'x9Wƨs? f+8C6ɁɧE $u e(l tleHVhȥoɐ;5'0g^$o&=1/Xx~u^XEj ŞGl!%iWzQZ{c}̈́F%JBXW!.}rƫVW )#$bщj-nx&n@VffVr\Q}rAi;! !Sںz \w6ĕ׶W(RKhL !w|0E E4ֶks xUxk"k]u=iC]jTψle9,Z1d&IXN|ʈ<#2Gǁto *+=&-Q9C~uN,M\jpCcŸZuqiv;i?R5"9|)@xFC>$@qc "A;n~=0X1o@ƺɧ8C~%V# )4O2E,gRȱgYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 36270720b232579f69ba6b87b64f61d55e603d2f 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 68a0a9fbb3bb9d8ddaafffac9ed56f1f08a185ee