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 ZZ# |tT ]/ PropResPI:threads=2elapsed=15.798cpu=25.824gc=0.980factor=1.637zXZִF! {w]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&O׌"Xcr$OkIY&ZBr{W@N| g镍P a3愠9:c @:ϝEQZ8dL1cP1衃Ikh[QG~zs?+eX[Qg?$ 'K8=9=т W0pjEl@ri#;dbjْ1f-eKݝ/ZD\ÉnThKCX ɣ:] h>A*ғ)=3"_T7gYZ7zXZִF! s]ŗXiɟ˕A|tYnUzݪ7PE |JT2žm⒁ :H(i$&!3E3~,hmwxgYZ7zXZִF! ["]ŗXi%92m/pi8# G}ԁJ: OUۨ/ 0 l޾ݸD-&=6EsM5.*rA3}:uڽ6(2=>G؊xmjSPIgK,Ehj EF$ ECm-[Kx(ͧFvuP]4 T$A&_Ab~4=?&bX߿bDOlFІy+5'XRJs1izB} Lڐ*~&rj0fjLAKYحxK_1-{q)NkSXF9i?Ml#'}O=7.2xJ!˂9ȍQ$`a$[F4θC~< {ĝPl½arF!_w31>)O}i L{)aK+tni9; %K0-Ѭ˔8gLŠYXe#Ed Isp Lh/2`gqW[\d n~\:'Oj0h_HX;ж(O0f rab/`"V5}9/i #0xNTՆn`Vѓ͌ w2-yq3՛,j]Uu:bb*u2oWݏبJ*cj[Asԥn4A7:k{{b䩃i238h>6K'$q㎠Nh5 {~M