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 #t ]/ LocalLexing:threads=2elapsed=95.835cpu=150.660gc=4.776factor=1.577zXZִF! J]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •Ww+TLζ7L=Uu;uT&%1&@鿻ύ"\ "K氙5ϧIJ`GÇ*%]5b*fy`REڦmOr`HpNX-g@s(xzIWȁABLL}jH(쎘؜dxεi g@C`Ppt!Þ ,(l> W2XZE# qj]8|.'d'h,m?|(0^TFi}ϱS&Ԥu.W^q': v'@0ǽ(CwnK܆U=>Laʱ$1㓵ʕ]#dd[?Ay1ayqԼ<#ވ"*(BQ)9h &ѕp^V¡{zlWLDq^G L:0&> ñ6Sی*.J.i~!4wkv&ۦ})I=eӳ$Y̺[|OުO~&F!ZSG霆]GJE-VX^'Gr]"yΛ#Y ȸ,%(x 2XdwL7.Kwz_Xe8wf_$$ԆTWN$edRJgR ΋~HoU==TUencn\Dƃ-}<'6p68\[0p%;Yb |B^347MQt:"a*PSa#36z9|77| `\.S }'? CD_P϶{܎IW+ $C!\O2mnSN-ʄ~upa )"mJQ,htdeO^Fi2Gi*\.@}5ȫ-Cہ!܁k?+0ք# " [F/}O"#BKYmxYaD vE`N'z݀ݲ"1OR۸m\ݜz"ʬ%L#=P^̂y Hv#jt] tSZ‘7q>mn9 oQcqfGC >c{sXWF rUMT}Otߺ6b͏݀k;\yǍᱴrt-[55te~7v}]t`Ci0)jh;DF6:xy1ʊqͿa[jqMGvNТtE =34_Xe~Zn&$ɮ=N#K*E2`ٟ)m\?vƵE.Pư9 u_y#Q]/!"v7,f=ʗTD~uiN¯2Ta %n}[L'pj+G֪EO[@q<$F>%ڞ7mMV>t%>f=ocY= gV ܥٱ~fkt]%&P8 ]?=Wo]T-04s/qnB ]QDIi!UQzmϥp`ӫG;=aɧ#>o^7Rwz&K]M܉o&dJP\XwVHүbX',$l#xvH R04.ߙh^4d곹Z"w?^%JyŭB69- ~P;u o :)4C3&d v\xA{I_[Ы=Udy&A)!BvR}t񧺃UCf'P*2/4jJc[H 'dvR{KR1Q/q#z_%RYe2ʐ>q8i8* Vɍ\<|t7 /ZV şt\nI8^ETvR#HND-}zj$brU'ڕ[9Z2 ^%{x4aMMmb%C)R3m``9@f͝;![guY >H ߹̌PXZƶ ~${+~a=_xwv. 8{V9o@`21jB=njqjh??Bs! F"a bȲUQ$q8B&*)O2pj1Գ8$!Kd .IXUwxF 64Ø@΁TP=ɳ" # LocalLexingMA/"[Y] w%`t=3'rcP.Fj# #>WJcNԔ&"mPp>}{Ջ:>P(PD_9>>->6oQTsbu1i4J5)c([gKK4Q&a˛BXsO-9C6wY"Mʔ2*7PƼ>0Uk3Y.n"Uq P鿙 KV+F~-3 Ea~}D8yfB)e#" J|w6k}`bߺվ<ʳä!󝏛w )T&+.r0 %/nau.(7y.Rk1²5S:k,BQY]K{;sp0_mUo o]mmoXVKf0da+T+)'_}Y{I *pVhOm>I~CBz 1!@Y˰ mR7!@A>6${FyXH^KJ4yp\74x)BeKHۤ04DWvP)+{m3"'Q?7/ƾiX.#A% BjĹ|I\vLJ,Ǘ=ku|.rr<,wȀʘ%zQ "\9l F\ec{jU2ڌx^\~k1G5.$!" |21\nBμʃYNg1o`;;zOҗec8љ%s= :;F.܉51S+;d^6CBWJ$c[8ZF|e{VaT(Qt"$Iʴ J8HEDٿϝ(:-VC6SJp=haF!h<~ 9 XL=̂PҢ7;gs}~f{h+Q4תE XҾb|% 0*q[KEa:q'9?{E9R q__o\Xi6V]CQpVNLRtݜK؏dD:Lm~1\V]͌䮜?(mmj`(-0rIE?%Y]0YjD2lzPyD!M)Hdy("ʯMHVh.t$h'OPjp(ZΣ٭ "K"P;G: nyȕԹyR!v>8CU.ű\s°Zi0ї1BMM3!-+4~Xd+13~hЎɹ~?mh8j5\q{AG%%Z4;^v(8 ז泌d3='/Xc58ntT Z#ƅ40B}jDo[~0Z&=*Ҕ# ac(H)ub3ۙ&h`Uד)VH. ] &Pf'9b,e`2R] r5׫lbV2Roa.s&N-#z_1SoHASy!N Gb.EoXRU.'oF{vRRF%_ uI,8Г@LSLC&j\!|8lU'N3Ɠ~%4ە+ 38 jDxvs+?MpzvN,U?V}Nnۮkک/^'NI- ۂZ^p:Og-.#aH~?ߎUZ5wVw|xʳN+w0=U[ Bi];Gzfb؜2pJ¨&CӉuj4 ^"#1(|78qty"48D: Y-EV_ `EᅨuT?l/)lr7zOH޹ [f쀮 8lblf@H`i@PG @gRc{Kke/TA*]cH & nL1לiV=dҩy%CBSs-3c /m||04@-=h9#}uX2ƉPFj#{Nh!w剧j?דn!V\ \-=ZK"? jD9/uTr 6weD9d%@ gs mON9#=KTt]Ec  JIG(g 4+*z=_OPODWQ9҅''FLqVam#0 Fp}v׀GC ˡ݃ 5L48h\"[2r<Du, $}_ReqvwvJQ+-<, GY1 J$AYh%ӸxO=6{9:[8%L *^m8:;(2^a[9_}?H73:]ZWx="g7U3R:8rH?77&ީY&r֍