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 {/ tl ]/ Dict_Construction:threads=2elapsed=44.002cpu=58.756gc=3.888factor=1.347zXZִF! t]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=kN 4ܲemۍ%tU!|sa$KjtEÊՇODbϫ!.Ql[9BڻM?aS%4E4_~TE :9k!֐ꀝlo)-#)_qEoi#Q)'cLp vtO{tlGe\ ьj @>)ht\'V0(EOl(%D,2S fj"` q7S wc{@G_U0^VTٓZ@Xas)!VduĹ/crfNp^ham Tqag~K>Re@#w)aic+@29ވE3U꿞«Som}kcl/;%""lɿ܏ ^{Q֡Ff+O|hgZPY2r'g)XXp7h#~֯\p h/G5Fތ0Uz{BJ*2y{u1a%N@e484SV"Why Io?~e'F31g'7xV_yB3RD Q^]1Vҝ1t1ChDvUllAJ Iۊ56U}LτDMJ- Kv2S,A9g&堆UqJq [bVL 9>%7oNÒu `Q"DZ(D;/hv!h#{4?*+n^eEsquxqKO8,ߠ Ü#1 Bwˈ2A,em.6N>Vy|X*]ki|`!rlr0cQ07qhT;J*pY29./`#4_(W[ 3I5Eaγp>Zfmņ+n!ΉIM{`'?]po (gZ]h9LM8H#3Ar6MyKstLJGpRyfA3V=XyL"m} fӠ9>t0NUsx2KOTlp\Xxϴ8Љ3 6f"s$B( 8uI3V>3/}ݬFqw /UXxj.nC1:fF9ĵ?.!-ӝ֖,v^FZMP㋽  Y}A/])eAn cGW)]lfХ꘏~R~1Q 6q(UkS\KN% n'EW?y5٨hKە /X%R5{1?}݉Wѫ`W(Zd~ö}c ~0{NÀ̈́^>3cЙ,. kHKC~KifӬ?XY_&4Ź#J \'`f6dW3JNj޾V\5Ch~ Jw餢!3>{ ZʨfϧS=mXPlՁP˘ϴOsykc5M.hߗpGB _]UepS8Z>NŚ qX+++q! egAv[|(2XH[.G{F~cEqLhHibRP< lIh/nZT,\Y h`H}nx{ R}Cr%S"]Xɔq-fF+F햰ݐ.V-kdLie4~Snhϓ V8UJ*f=|j֩5T YcHbq ATnTJIbuwzxK9, b J 6m{#CO_pLwDeW"bQtary "X}"΍DB&FlAXw䔬e3jVڼv"~9&^t+lLfƢ~ieku2DONcCv(_"O6:w8=R)5@mզ@瑨[\5&qzǗ5\gqŁH97&hS"Ǡq%E3Fy1~f ӛ{0{}%^$l~)Ixr[&Mu̟̎wۨHuLzQ%ۛ%FJI ISTB#M+ %_F[ {բsЌ=#A)k<߽>tfIJ˿jPߙ%1L/ߗ d ԡH;, 43]Ol֝4gYZ972cb73abbffde3fde3531dc4357626a59865090e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc / Dict_Construction