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 z T4 m HyperCTL:threads=2elapsed=17.203cpu=30.020gc=1.480factor=1.747zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wwO>ZFYGbϻ}19vzj@kf7*;)M8 z"h*lGt-iI7h㒩%nJ}[edQ޸_i\@:2Z L dż04Z؍|50 ([H%SB@Qv*s jeln̽&'@.;K{ tf&҂f3VB*ѳ-&ݣ _aBi0V4 +/qhN(mДe{uoOx<[_l"Z%9yRT# C1inDfR0p^Aqg ߓ )7`3cR> - &]W"9gYZ7zXZִF! [T]ŗXi%6jv~&OѯY͸0XfF"0 -A;'}F!\9<`́x_s> *AuyAVbn>@K8SJ z' H[ z8[T1FFL ]F K@"eN<=%Z VyU+.%cNh^#a4$m9uK^ 8,́F5;~`ez 0L~YXǒVW(1HWZG{UM,!7-l ->{0N5)=d@}5GA\6Ls<_lTQ> {fY 82!,_N*>U{Sټ/@dB\R:9SB]Q;h)~UX|QFc%g5_?i6ΝGGH*QÈ&XDw@j}V0&'QMU5$hn_?}%GKWC "k3Ӥ-aЇ0(DS9U᥀YB}TGV/K@da^VHN-9N P[;a֘/ƫuĬ8KA2oYb:57{,9CS~VMmCLz^*y'UŽ<~4љaW  x`p!E:x+C n-=Y5wc] coG:_77+{&YU%jbX0Hv 4]$|ɨN6n4Ģ5{}G,T.xQӻ\$@j="YREB]Pc K˓Y<䰪v D3S2a@yd3p@a| (x&֍K\f,m5P m-Z].d#/o+/WHnxv@_db,)b9D< .l6 tة| P2B1 ȋw}Z[+ܖVL)Am ]WL zH74zkU$+.!m1&(k~>; mHjveUqwAb4nX/U-c:LP,R^S.2ڲ c$LW/9bIvk#+1]yߘNԨx%t Өt ͢}/clD`zp { @ lN>I5glb( sJE`q  i|gYZ383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 bdb4973df7ab63e621de849d107e6b0be95bfe54 c27a7b0460c005f5daac95cf8a605b2342071d57 f2f482db4c012d045b08fd8492f92457350ec887 f81c05292f889e0628dbd2fa160c342e71830c9e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef   HyperCTL