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  !5d ]S SequentInvertibility:threads=2elapsed=53.784cpu=105.124gc=9.692factor=1.957zXZִF! -?+]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~6@Cb!Ov\w1Z\#9(:qǔ%}s23 ~ ݰ[8ŕsG4cGҏZ^O#giO :pzQ<_c1'>+Jٮ%C~$LqpOKq%di~MtUlug2lAug硨+2WiLdot-Jߓ@(>&'el,@~y1? Yv)D p:r$fH\-J˯њ UxfvjQlIM5Si" X/|N2AB4ufa6Rylg۞v+Q[9Q2g7:vʢY ^K.r?ݧ>YS4" 6 y83nhĒi%.yu" D#֚7/=LdCt; M}@|ב&א`]:,{ iM fza|'u!V-a>(v}e̹y/J>֟=)Y~"1kw:Yo?Yu]Q hw9pi%>]r961Z7RfgDhJN흛2Tm2wة52T^ -.OO!9{-> izޚ:kr#0ݽ_'f2qpg*留4dl%?_QN kLR>GX+ װLuC﯆R@V}Z{)  _BZpgYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;-c1b@'}@SٲFkwnO#vN5^T io:4Yi`&yF kcf)&L!( sp&n>z$⵱K9c:_#V]@A<I 3X ,&R*+? n%oz!Ћo4MըU [sfuꨧJ6{Mmy Q"AЧpŠT0Ux^Zׇ yy>OwlBIoS>LJ2>r/` ? |5ɑtr#|SFh~˙J#gQN*bF0$.-ҡfE4ֶN~'4Q/ "nZW#-n`5ؗ<t551dzo!;jIYay "kY\nJS%M%3͜l|xoe]&M%H"`2PH ہ-Vj&텉>uJ05ko%~3Jt*IL3r DkT#Ӟq02oH7^蒾s؁ R9E4./B*8d#\EzwK[,DZ0_"!R(p=fO-irUG[$q]KXEgfiѳ%ԖFvbL* NxiY”͇q2w s&'=>j솛S?bj|9׷%̛8&p̏lZ[BF#*fGt<ʐى龓^& Zl6CY,AUeΛ 5b@ Պ/BI37N|yVN k#n" R3XZ(aȷOX2ڗ;*ݔtBW'pt‚p O`fs͵y i4ҹ I d^=%tܡ:0Bz奬8S"xxO#Z\krtP Oah#hMfJ UQWFn9D-u`3Wu6;-eaN,WFDD{D8!)rs˰\2Zg;')fG;v61ЁO|ވe<)/-mmV#F]ܤlW?hͳu<2 t2<1(ܒN›,y`G0r`նҤφ T`d=PUKx912$hѼUC^0<Ա -\ g\5ŹzT,jL[8U\UE&`2Όm᠎.S;qן5艥k؁7K!"mJ?0{yr4+xŧ[^BJĥX˲[@>_nkw0|m$Aqw?8PV'=ߞrq6^&Bq`v7' ;=.E9e;ѿJۮb&4|>Ov+гG`ގȿL C5ET&xWÝƻ^OL}~)jjIA02ðH\icSWmu^9mGdB keBWKjIwG.jgr Jjl3>ՈJ41!5PIt̓.)#30/)I6 B^b0=C&Њy_dogU vfm6)=o'*2Tgz`gYZ479fc19f683a0f9c5e701341d3a50295972c34b5273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 5ca168d939f9c93e1d84ee5ee9184cc72d8b1461