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 ~! 4< ]% SumSquares:threads=2elapsed=8.010cpu=13.532gc=0.300factor=1.697zXZִF! ]ŗXf1-/6vR[]৞B}vȣ5"i%޻x}_};N\g 8cY+[,Ԋ]!fDM}I栿i~~|oWWCN0UP*/Bٺ")*7DEWw|%kDyLX2xrņ~M1%i,#)RkӍqg0V׶ptI-ZFgJUnK;xF24 BgYZ7zXZִF! T]ŗXiɟyim_K3vo?iM8ҴZXA jKYc9ΔG|ku+(}94Sp-igYZ7zXZִF! 5]ŗXi%;ɇ6'wr+3Z3r. _8tPnqVl3xsJ>BfMjP ~0g S@-C /x,ȣv6M1WcH#ᄋz]()-OWw}+uL.YR/uܞӍ7a$Z!;U3եɨsmP~ ,# ߡ+*:,`x[\nƕv(,zy_,Ņ|Am&PRW[K" -\?z >m18CRU[[lG?+(9X}0nJH`<\[6 W,eJ`8 73nE&tK~]nD@1*Be7l9:;tM4Rj:~mzlAN_EAZ "༓%<a?4￝<^'Y+Xڮ?=Ճ~4E^Xy z͢yytKMF?ؽя؍%'cIo LbmUv,XUAu㥉!+-O-γ}BVb7yt/'|1cx7"ƻv&AEVp0- 4BpySRkBzPBb>tG0ěnzEAp| ' +~=$[Ca8O,1TBOw 1fR/ }fyIuw*VvƸ/Դ o&4g#>E ˔E'/kڱgYZ6429294fa67e1ea70828c7bb11f25e8dd083153a79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 d60d9d5b06dcc91155fc420476e9f83938af9887 93c82f2ff988fa978c7244ce1d0728543e676f16  ! SumSquares