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 K- 4| ] HOL-SET_Protocol:threads=6elapsed=20.266cpu=82.100gc=1.968factor=4.057zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ8͒(+n?x(j㾲‘9-^@\7wp2d8LcGɯ!.ВԻRN6] pvMU}i.2{懘Dv*sIc LrfIi x׌d!*cx_&5d(đGёk3owg5Cc3D2UC_Q5b[!I(H:ʁ_b]O39.c#pa,=饸Ft*/ڵ5x&lk~φ:!:1ͤxL0Kd;S+N78Oxlr~ͱ㛵NXV RcヲpAG&Bk_glct S9\139[L;$/j۟4YBCE>-cBpV?-'&N3 VPU|>;x4?=lU(u[˜辈8%f'#g@LDomX8[^n^ Ƶ\ץ?(X/h=Nn+}=`,OF]qCY1J3Y(A^nDTėXԽQ_?gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxj+04ba׎Ptp~>˨.=[j0GP-q) K /]BaShNY!&uw_/%X21&k y0t/ _>d(mIHwf&vE>NjYA`3A>3kAW_gYZ7zXZִF! a]ŗXi%92z 9Q_'LU4tVK|*V:=Ԏ5<1ćW=LY7j]Nk'2KS෮w({w^}jcz,6y1Cv4#9 Z4m0`F q^V?F#NMy^trޖ3aJUv1{ڧK 1ChYJ j6f7c.(W \XȐg~l5(-L Biij_ Y-# s43%[a"RtQ3LqbZA9,cOXU ;!v?-J%o`4Ba[PcidhCC4ЅO6GYC$M8ڈp6j9jEZu"p'Q*saY*ٴ:YJ,+3I--bNG`(0Err*z(1|Rs<)KXkXI[M@_ITE#9$U͹xP|kvޔ'+=}_ _qټ%8 Xj(@fj SV/X`H5bo41Z?td4A䊧+7$wz6`hϨ] cE+҄F9Nz&[biwa}Df3~W$M'l`'UEC')L̠wp6О%|W*͒yZyfrK@OK4Ĭre癄xԭ6N6?P^4Zv_*7O:~C@Ee?[ʲRk:imeqL gHp#ſ>y]&Ie^S]-qL+'|BF$_XJv8R)1飻dI3W V& ܆|ꄫBϘy MVx)\)Ë %h>Hv 0kWP]T]Ҧ@idKpo嶃хa/.p>lEaGH]9FE:WlP4$!V(}X,cf7TQNđ_\>pQ6$ꙋ<$D0Ļ ?"]/H% *gmeE6=ǩj`+-z%R5 V}d9Zx6 I50=9L7' !nK>Z!=#iUǯ N^@Ks7"=y*:-Y'`&۵¸AeJэ! G*VvF?pƃݵȕF֧Ȳ@$tHp(42X.DHl7-R7Q+T.*!nlXNpz5faܖ@z,;άK^ݺ:sg6i5HWnJ{czSE*kLVTlmՂ_UEDn/~