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 F l ]/ Heard_Of:threads=2elapsed=42.929cpu=68.300gc=2.336factor=1.597zXZִF! %/-]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KsiCȘ]_u|gʼ&wiz> a ue#{{1GcMQp{mtwSyWE9@(=ԏ hI9"T~|V?@Sb<(oSp<+Fq.ʺ֍<L1&oO|gl"M\zar6%$+\~po0#pT"-j *'yU>f<8u[h*SJIIQ|N   Heard_Of-/ƻA?DkM<@*.y8ZɈT>KߑAXC{1 r/;=-ir!ùnb3sigh67&gY% ۨ{Qo:؉jm>\.᫓,g1 ]*ќuل唫,e;mldMS /~HS$GfBx Xe vi r^@mtk%>j>7+𶽉XY6dN㝻΃g:i'5 %C ǏM׿P^ˮX';әV E|dtσZ˫hc 18 "N =7T 0`*qʡG7H PL!_l($ d]!աSrku0x' pOkU}Ґ#w&򤜲5)K($jگ@sIkSFˎ>#7%?w+L5fz3IEwx&mx> = ih=@o<9! gYZ7zXZִF! ]ŗXi%6SwNv^P!= 0tD;sH~f>/&{ %)G.dc{)o9`ፆi4h˴g12ß>?S@F8էF-Ǫ51ʀ򯵒3uӰ)!&-j OigL )73 F$Ln|I$7u'jQn 41ɗ(ZZ̡<|yM8w" "ru4 ̶VvCMReMlX7lF=7}WPG#`߀9tbB V#5tŠhkR,3uЭF@:!}ލ큖-u&3L6 s]A~!\-r:U|)UR[WK^Z/+0Dn;]7ˍƯSC8{f֏ MHo* \BkL:<Vc)X):v*/zl L4iS薚,^Ui՚ -"o}T2m'dήrI{jW9Ώ#%+]?)!ҬsDA58N {Jh0GLogz#!;ƫ 2aɹ[f#T+qj6>ZIBHlEFT|]#[R$IW1Ŀ'c<'uBk "j2޾RRqc\# 9sB^ =J޺JRw66k' 0_/cELiZٞ|B CV0l58'4W tCC b4$|!. ][Z-:B${kd;"'^kwYp3"nC\H!Y,oW$iJq`VGnB#v6A8ѿ?wp$B<`*#}@ H\:`Q(-T)n9jAjg}џo/ )%uqqp <ժ81(4Q!("bA.\=q ɪbPbPm a!Fͣo8LTnW:`rڰY)>q ~4]U5@fL-tYN:xi~7+pg?|<[1\'-4> b掗a[rֿM Cyqx 8nɜW!&]%c ӌW/z:ۮ`Jt?;i)Ǟ'gF;eX >ܖ몕8vVpyć]9E\nRd|%ǀ 7  aU#~< Ir[k0:({ΆF|HěĤ sF#V0?q,:)laECG׫6YeׯzD|ռa'X{Ln+ds=PuLoPX{,{2)^ JGwvKY_W\(-D~0lY^kn9JLi'+7ˑ"#.e](ul GzԵnxKrQ?|V-HFӵ$^|t 7NU֋u %+q6Eb+t!hvM_U{!` C*ϝ;\ HjɍfKT~Q=U%説` Zй wÛ] 7,id!@\$.]Pka8YM< cZ >^]0:p|1-[cyn81Ú_6RG{pgYZb8c0f743c73b9c418bf2205fb57d36fc1558977de70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc