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  < \| )/]HOLCF:threads=6elapsed=16.145cpu=38.136gc=2.220factor=2.367zXZִF! %]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/nd1RA,JpkfUoas>\ p|oA4|jA{DG7-.8 -'È*{I%vvt5%]I|=U!lW'][Y7Op6H _cm %lݜ5nQMZ} LC2ǀŁC.əMM41Y3BAmlceFdD=J! AGY =C{[cC+KK\jcdPtœ3\pDCXC6 ?VLPO_uqEbs{ 3d˸ɲĐaw*$Y_IeL^},ƸH<긥_  HOLCF[YAkE o #Tax:KM]*$^ȗqd\_ԚybT  $qب* oND+ک7] ]r$2" 4wcp1YeQGa=QQ%~-5\Z6kʼn4G܇|0,dKwټ̳l;Ap>ƒ.q P<l$OVDˆ5_/2x@j;R.5dZ,Ip)n=n}/ K #:h =aBwstW)iiꙎޟhǡؖu>*4*MQ\%))gYZ7zXZִF! Kn]ŗXi% DaE6I<^D + Bf;_q>GFS(?|R3Q{f"KWwVgIY'?qZ_)Q7ۀ3op:Dq7TIt?$;hLx'KRCӲ49})&)P6ʁ6vkl||Ӌٴz98Ꭺ$TRDpǪ+l hᗟZMm7j CrWMS"WqXjsJLؔ!&&qAwR6%yգ*ٻFt\%RXϻd[YACTIy*@V}?Z1jocGΟ\֖6joN:D"1"xJ&@N%`o)ɥj!3Xڮز t&\ wÏc%C!^Cu'vXY?}9.9݇Vוlk:Gֆ.0LZ6@5hx,y+EŁeN懂^Ek =m/ڇWO>]J23!Mu[q5)ʧ21UVg4ЇS@mH9\\|\4B+$W.ąS=`gn 0mE΄=6\7SNʥ 0;b^R~ǚ>5_P 5k bfv& [l;j:'N>O0YYjL;rnэT.~+O+3"6kzT 9FWԢFH~ ԦVyD.8>T؜o|_*rx3vȂ—;_v2!mUS imXY ys1}tZH+oͽ]ȭu>#5 CMA7ZKDm}0#ȊՒ" 'N<= N;@85Lc!~`C