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  - d,< ] HOL-SET_Protocol:threads=2elapsed=57.770cpu=98.268gc=3.232factor=1.707zXZִF! +k]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa 5TyBF$$PWpdGvĜ{֜,uN-ws:{8"16g='U:ښLQYU]jdQFn @ߋY]9 )=ҭ8ʿ6<>u- sI8?YKe>Mg GH"_TY;eVa-aVh}oaU<4@LWq5h{3u /Hxk0)<[fdh7sjk3Os/ Nk'yZnz7Y;wAJ <}yH&̚ ]K9R">~6rjً5gkPKrB2=;PST;ܻŐTYF&y9DfMz\kqb̓?UvgS8Z޶?pfZL&yp3>bY<_CUJ\Ϳv:ilS2!\3^֥ bit\B Vv8M9ֺ P_ↀ~9xEwo - HOL-SET_Protocol`0v1}xKoYDFttkl,#nz3>PڻF^ &١A bƈL׽KF0pG~\m\S=Q8J-1ש6>o "N̨T¶[LwHtYhm^^{ȉW/`5>!^GO : nd&1c3Nz$s[ XiB @ u+]LQJ$˵čHk ^ST]5dXL6cάl{GOQwV3t>3=#Ӆ=VIgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxuJMâwk!{'.,mq {^n;G5$[4[hj2fviuΞJW&޶n#gF a[+G4$/ &- %sED>nH 0z$Z=(R^%J{) (߀$ƕ[5T'Lʅ۶K5edqg6ƌFfh'q)#|a1sBx(T"|Itx.UkdW[=v>}C$"66a@v?MbDi|5،5\[d(cvOjYo^Ci9l҇fPXHh{kI]T4M /),>k_&VC 5]*ϔtE\&u|C!Vڮet!GhϷBv -c]wj$n wR$ӱ̺^V\j(B ;? .N m3dN@=+Qo?J|o4T%6+Ge8пGw, p,jDfGI-ȋqM#by4#–DgsqhXn=Fިi81J"zI`"Ƨ`c }cVw<8Vi -}Ǧu) \Pܴ_x+ŀMP[VuȘXkjR͕Ρf?0'5#p>:F0i#S+&K`x-Lr9Eƈ'?bԅDri ~: ornPFwmBJ< ;W#{}Skh~ZJ3R4 :87JAihv:hCࢵF( \0Tպr/H@; bЙ_q;8O:4&~ `Hg)@~Ȭ\}kH"j ?edSN:an-; 8 5w7<~,YY C{V͘?DȶXʅ@s&*ؾPTz <ҝ'k>ȉy?+@L0I|F@-Ff yu +J/"P^8 yx p|O+ZT"w;sߊ)fs3S/P3o3ٜIh2r2&^h }% 1]9 t% 8!-^D8c@ٓDT칌Bʴݥ*SQ?ԑaIByXHjDCMb3dhLv8ϋF6G4-oOiP[2[̵;bgYZ1e7985837c84bc4de0fb4311c2d9bd807f53f3ff848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486