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   i- 4TD ]% AutoFocus-Stream:threads=2elapsed=45.551cpu=81.304gc=2.248factor=1.787zXZִF! @]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %mi9-0Br0ImԐqAօm]Dq"T(xͽR(LkH4>El)76L" _U[@elKW<Ds6|iPĿدZt@08o49D_` HRg]X - AutoFocus-Stream50Q# DPE O&s\R g4p1HFrr?!;Wֹ%5r- @EL=tLsfC{ˈp8JV4PBОK# ȿ+!իԸ״lqer@Bp袁 r7!EK^غۚAR0|"*&%l]Xfodm 2>ZWKvx]DqJfK1ÁS'3fۙKQrH #G=!sR*3D蜑G+Ʒ6'j]||ayEt4?h/~$,B :O%1VK>q,!*,OULoLR%f}}}6i} e17bV)˰#8Q 1tpaL(d70a,^"%3npsnb2|=V}Q6 ,4皰ܧ& (XWeF9{ל$#&1W9uRvbgFn;LKKlw%7H$~E]}cddRQZx*:%f0gYZ7zXZִF! 7 []ŗXi%Ewr||_Q*29P^ۂ PD:3i 2FNt|WGqgnN.*hvZa䝮t*ju9"WBFbeyTL}dg\pQXUk50YdKM7)u#Q)DLgXꇓ$eOI0p4Ѥkm9a/ھ(;ᇬ0N jhŰܬHB 5<ҧx#J> `߂rEwA0A^펯#3 VfʈPGbǹ?x˺R䷥BC ]cyXY"eHbp,/ [OJ̼wr!iU1Gn$ D/}jeP6)rqKn )/_ohg$VJr9z24cu"|*e +S [%W2QWkn^ޏx-' m{ dc"ñ=R=WI$5u  {>}2SY]&UTC@6+gG\8{Vj4^/p.|*YUy[IG^+,XN0!\٨ 0B{OөO|lWŷ6Mzv[Rޫ~#3# Nw\Bz.嫚% It19"><C>TP쎠/w4 b3.1\47Ǖ䀤MGSRk>ǾrRnVy'1f^6T<^gAikO೷EY{˟G%fxN s,*13hm2Z>C:s3j/ʡ`']n5jSAKd;-f輒KמUD#Ooit.- 9 nyB|B(/n!n>C{ }zFM2{0r_ϕ5؈)v*1c\=)*Չu ?[(RFOP6-mdeݓ8Mس {.PUdaPuJԕO+N-N&j2uѰT0T(m57dN4Lz6nZɟPF ~v '9#y?޹tyMKb*[knmunVUdm.-zۮDR4GȉCT_˹fE߮jb(fjF6, ^`ÖT\i}V_ȰPow˹8>[;( Ob0`*U}E~"h>o^ Kؿ\] K!"n-~lS氆[Wzc-QIȏfe,-,K6"˓#|l`yĒJ*[ZVAU|Z y&qߣ j,Gw΄@:LYw'cg#x:Y/C HCTzd~ ]vq\4GݕB ȧ:k>õNCѸW4ס5 p2- ޗ-5YB3si&i`NV~5V Gsˏ,ɼ_b9ZNnoE.Ft