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 &&W) ,t ]% Jordan_Hoelder:threads=2elapsed=17.465cpu=31.856gc=1.204factor=1.827zXZִF! =]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{Wd|\JE9Ж]׼ Zۢ Hd2 p'=vm}/IB$ S"3sqAaÞVKv|^ļ3IumK#@JqYdnDZ`{x (ѯ5#= 1+t' @_{{CJ߫䚋\ę mQ } wۻnݏ2w :jLf?w=wʘG<aV3A舽nQ`;3U;5WIMoJ`: roֲɪE IG@VQ_(\,u=ȿ))`kk(TMhkhg[pB&%fYg!F YO̍%&*HM1Aha(Em,;5#,jaX8$gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~i!c4I{/s>7m̜^nT4C?!Ir. Fr†Mw X|ޓ'zIA 60MP`~~7*)8_ XJf!JFlW-I jkF}黳e(cϚLgoGVAF>8o2PO/3ָ]D%sogYZ7zXZִF! es]ŗXi%;Ÿr: 0:+UP p+ aE=QHBb$[A]}q[]3m7aWX3+?y?MR!ygf(k0i)Lj3uT*(zI/>$Sn]Qϰ҄Tӆˡ@ tGشؠ?[]z,yơQ wfb"3vx:x@cuj<ztHҸrV9|`̢O$QL}a,<l}.Dk꩔45N变&U7GI=kwy4;bߦ" D>wGr[Xige{KM$[]ŨMij 9**VO@}~oޖpRB.ߊOӚ# "}RCN6|e̎;WL70o1P+[+ Ο-/c`/ᐉ67mLp|~Ed~%`P+dF'RJz7]?w\tzZ 8m*Ig:sg͖;&i8 2e^ig_ L#:$duwoIA9` zC^40|̝l2Q@Qq3Mۑ p8|@jMS1-1Z4%f s]it~QVؚ-.umŋE#"NVjT0]1(e=9<{Xa@”xkFRI/mF:S{OE|[uG=t"'|դKf%ƭ:χTwTR"[y`+32JCՕ0=I9Cr0g۱[a0ɇ1W`_Tn/2V:s~}yHDCQWS) =`a1 -3cmKatToy5Edw #1<+CF} 8@EⳐA2IjfXMż7xZ~kz+9 ю\(e-td`nn޿ߙO&!=MD0kxUɷ6pah5d[ASxA!G'!$!r  ?)gYZ8a7112d4a7993e27bf4e690f93d9cba68d732d5279d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 c5c91a58d3859ee16e136bcaf6fa88419d70b567 f7336e04c048fc6e628eba7c2b9bed165471182f ) Jordan_Hoelder