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  5< ]S SequentInvertibility:threads=2elapsed=53.509cpu=104.972gc=9.228factor=1.967zXZִF! ,S]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~;QFaHiS&I[^k\LdA6mmB+rd]='"yϿcS,CD=uh>PJH%W`EEfI6BK V%U`.:N./#eH0/bp]Kh˱M+m@lp_>-ipoN-TbxQvVz~N:IgQٗ{`R#?DjvmߡlW&mme X *gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;}5V9>B*nhO_7[>k8\0/?DI@j,LPdMZշI5VʏIuCmF*va U|ƫêꄭ`j("+Y_WHZZ :z/R{ΤB )ϑn)dPV7Ļ@v<ݣ4Ԯ̀f|mҹ-WgIrj 7;Vl TK 9jX/9tCkEs6DA|Yquݬ(lʧ6cF-N-S{b o#fXJ@JQ=g%HQȱ%Ə3]~BWh6c ׸_P~8)qlkYA}Xd8~l.t%N,~ ( 5NgKY?TF{魜'P/n)wH':PU2]w^yeP9kÂra ̏Je!9=;f}aʀ7:;ߧ^*C AxN:r*MQKy5~s/ nbJr R/߼t¨|>l!‹I>Wpm0>3K@S`YFAs]u x.1l4FV.J2c7 =@~spUȸrdPi~})Џ;?UrtNjiv3*UA~/:ɟal8PB+m$hjsf jJ+Z)}ÙEO Atm*x+ybmG0eU|=I!f(,e8ƽ:0C[ʃqRk(CU3vҪYS1IQ܋6x^BxZJ_o.ɾ;{UK}=VW];qUx[ԕ)hat(;yy-*ԄOɏJB҉y+vy1 *oA~_x"2AC7CnOhƕu-[ߝ2eʤ+? ÈqdJnxfOT@MϖVPRt@dzj-XEoL|sؠ\z,ӛ09m:~ >ɅזsԴK%>gS="ap2{6g#|9젇%k{rCH9 !Kd&|35Ih13.:`&*k>cNlΦ2FzHXܳzǀϽq#-ȑlv h\9xmbOnDF1؂i]BȈU[s/A-!gA q^KP-5)B,x7d b8^R{X̊J}~su f^s1d[HĮ/~D&o%VOXa$7ǸڨV>˭⒯LNP$,:pNI;%7~Y1RPM4܇@/s{-7,E/YnW6 {q9 Xtu>%:F7(+VU!LM8(+]Φɰ>V'y pr=n F p7kx6!Z0Y=6 O!rn& sVpOc$_j$ui@4<<[l4VAQ\;){=fc[bȫ@Uʐ8MQd/·`.B g#R ?Eh"9#FfCM$RƼ .M=QQu5}ecfP$J}hE7?kikق5_LdYXә1J^T^Y/%je+E sg6Xs[\NR"\dApqlceND+aW~Lfxkj?VN8_~1> T;BdT-KSe{qċO|L"@\^d= Cbx#Mouy1/~S/:?L 0~0ջ_w HO5%ѹAJI%&Yڞ ֫qc@J|Ն:P̪HQ&SƤ#i64G y~\ )^xC d7SZ瑕1w akL=#V(8NU u0 AE\GxGZC` #>y,BVNoO hle@GJ4Gc v n {%Y)cn#_-,IikR"?B`Nn,5FJ3Q-R~cdQ%RX#I\GhbS_KUq.kZk`tK.xiW,ͱFU D= VÕ-ޢ4 ozWowQNxJEV