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 al\$ ] HOL-Bali:threads=6elapsed=61.216cpu=203.076gc=10.500factor=3.327zXZִF! I]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCacGAW>akq(DRclqs-Fm m\=GIk<~9 wVO7?Zt<ɻXb+ͦap7Bם{o nYJWcy[F$<'֙vidR{F1%r磪en@9F(@TvPg?2]csB'Jߡ͂Zu@a+B>"]uշx}D/6d`*GOk _H#@CLJh:^d'Z؏ Hk=p9궋=u1\~pN3%JT7ci.IDx!$;X4i ԟ8;XS<Q7k.9AN# ;3 }&1RvgS'/`CWa;_4>}$O&Lڲ)Ffe& axgQ9 ޝx]di2eN)csRTDO\T1>ř*X;cg4J;pH:^]2{LY3D+ƔjYȌ4ࢥ@K܅eǛ^of`n_k;YF_.xvY0 ۜ&gF@yj=To CD0pKxYùGP :AY;m_zG. ǓK$zn)1;Gk:TJ\# "v$B.U#3t6NŒ ջT!)+'S( 7!ZPbʹ"rL!o!j'|9C s-R5ʞz"SݨlC3,a^Lݙ7Uj[ ׻8gPh=OɄ|V;)Bo_N aZȶfğ[єVi,ڒ ?o2]#XX>Ayn!s\61 `oeP;jLlkUvͺϚDSEVm?!k}\}]H Ӡ .sɝHʒ7¡o\J}h+I%,h yTs}|qbuPՏ's9β:.ݒ ~li%/Ր!Y]*6\. m PAr77>ح-gG1lpȧ>*%H;Ev^99ln-_O ,{w[/#$ j/6OVj&2-wgBI"=\Iѣsbj 6BQXgYZ7zXZִF! ]ŗXiɟ1Dw7v%[y# = N%^!ʉT%|OČԨ9(2=!Utw$ՊHID9+`)ƒ|* μEE=::CB0lqtf lpigYZ7zXZִF! I]ŗXi%;3\^Qm^थhWl%Ғn.}$o4CwfF#&jmoqS"꒢6 {]rt+Gč҆ojKoOM"'y3eTxհۂPGÒ|۵HBrͯ!ayEՠ=&n ;:6 t%ٺYS8)u.>wWE"!˖a'EwÑPlELS@ϊ8KzR[kwܭ$]~0ЩbcbQ7e-uW3  nEӔ$bJWࠫvz`I-  ~uf+N(ou(¥Rp_茫6~*!HKe>I\xs/cs   HOL-Bali)Ǯh2gܩeFDnDj:nC4N2xο& 2F $q)\9_RDʃui`iBG!msfꐌC?@{3oN,yW_^G" _-@tl}M.$~j^d]ӳCV)+ڎ$OLM.8&n k2v335:^!/HHcBggԦ r&[ L@enJ5X`Vzv,:0QZ٥ 9 vfzq,A4h'ϑp@[3῟B&dåGrRmN\B:ՒC1zWb}t_yO:嘘Z#Ϙje27<;!Frgt]Lo g-}+)iW9? u#_|H.3\_d KƳt'(\%C5` ĽkW*(@C"HW%ىw-gnK75 m:΋T9rD^>cJoua/R/nYkJ$H]>x2!,Ý'Qc`&aR A.wZ玅>gϕ9~j+%[%@)(&zIԪW |~=yG%Ge&*n ]HجzjEK:zpFL•A3JԌ]YT to瞑SB E6 b6S eؐS%Ub-%JQR=X\>+AM\>lʗM5uwX]?k0HA.w61=0">t)-u=T!ޮvEV$|&"φ)`[8Dw֕iovps`,?/TGk*;րm-O*>ʡ|*fy EWyܰq)&(#ycḑ󗊨UV$~(> }ϣi\0Ur%rf*9ӷ0 sSgZs ۶@DTt%~Tfp4q#xwj!f> p{F%95GTVGJ`qtBQlð4VO١^l,!T)FGd JU1kL9KjU6"B5Fbو y1b"#Qa|=MV PڠiV{SV٤Ȍ J4SG4]Olaǒ氷E|ibhLjcheC* ⵽}$ɑD!!vOA@8\&TC H_Gozhrn}l=-b8 ʃ zQ;zh;;SIU=LC>.>0Q$$8Ş\9B?_m3`R=3R=MS_`U7l3ϯ;I_'Pjuؓ*0IPM4QI6eR$ 9()\6&go娋 yTg4)ۛc~4,BLmԶU!b{-AI*ev[p=o!s}2 NM*)7z2 I`Mf 6{߰OI,!" u)lC5e'^| iSK*BpQ.lH>nB2r$?=FZ'S([29 Gs&̳ '5MD1XAO\K G]Mˉ^p57Nmw]L~v'hV/Y~Ŀv 1"һSOs,=ᾴg危vt"gYZ8ba895613c28d2d2cb5c6b34dca288d98d16286260153fda7f67c400babeac5ff8410bde1cb89937 979fcfd417ee7f5d3ccae23097201bc6a61b502d 02174d5517afee9459b8e12a7e4eb13ca591789b