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 h) lT ]/ Card_Multisets:threads=2elapsed=10.029cpu=17.864gc=0.804factor=1.787zXZִF! ,o]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxL& k;6Ci0{' JBߧFI D yXT[ -қ} Ɨ`g[V.[ c`p /-вuy$8i"M}ównz-#Bki6A7AR=qǶ8@?Vy.K˷' Mx[fˀ@PzuJkو\1*EP^K6,&`qkv%<ɞ|ǒ &_4@0;s- n!PgYZ7zXZִF! {]ŗXiɟ1˦rYsxgp9f閷V!=R4j+<g`LWR˜mR;GA\*RJpc9rOi1q`YIv_gYZ7zXZִF! :]ŗXi%;:1c<ꝑ ^(58u MI?T&'mv-s(lY7{Ge`BJwnvxǑv3&xdO^[5KF շ #i.}8{RC45$)Yi.'H.--5i oV ok7ݜk%XtH}o'mv_QǬĐNIG~vhgJP1q|"BUH)wM9%oly~,q'a#cbb^ߠf˓x+Јt NuHAI ppo~,cs>)ݟkTIEzjǮ}DoGfӄ[s]1PH2!#=BEޚ{VN !3!QGnjQqb;dc[w mb& VJɩhʼb :+_F 3 h[>#/3K0qLOTKץJςE|雯 Jfm[S>~Q~M(q2bKWߘvkUOCpȻ]4"呢70始` s4Ru!^ 54&wFɨDL@M[ERPE{ U-LM큌W˞C/o#-C##ķeĩ4ϐN)8t`|}>Yp1@5AN0DͅLFBgZJ PpoT+z<^p\:+Į eT)r@O \T.˴OmOtUK?oi .,;2,)I$ݑfj]B~ > ,n+87c#zD fjVnߕ tLQ.hזCGLd[eN >&ngC'9jPcz@.s)BuzgYZb0de1aa8b6fb34a4c881f79b9d28c3d215fef75819483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf ) Card_Multisets