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 {) <, ]% Jordan_Hoelder:threads=2elapsed=22.146cpu=36.124gc=1.576factor=1.637zXZִF! U]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃қπlֶٚˡ+PZ~$/40ꥥAed`R^2..Ri`ovEX?Ͼ݊R'C2+bKZ G) έu!a KxHzygP45i"Ty\UwYbvb>3,D"ٛC#\?$c8<hAgtVpo!=N\BWF%r+LbGlHIcsp%)bpX/8^FK롼kwN Y+a^FH_Ǻ=dTRe8`  j7LlT-˳SNh,\Ax҆yJ73AQ8D-t (%ؑ`UP_\3ĦxdpȋW >cLf dE*I,H]Œt3ʹVos"fx$0\`lzw%sogYZ7zXZִF! s]ŗXi%6SwRA,\Kβ@6xc&d:TEIa1'iճI +o90vV ys,ke&~\qtsOMXc prt`6wD?< o\;/FeX-齠wM6ϟ4nl$:C7VW¸i@ $CѓĞ3. /]PkKU袸@+r6k9e=m}bԆF]WT \bjD?HACoHo]g2.xs ~fƈ\FY>R qWH&):q0vf f8Y g^mޥO ߒ}V<ͷ#ɨ1>(src8٘AX[ڬ[B-:eA.t@] kRmaXHy/_ XaU[Z{'Ѹ5Z BCO'j*-h *ʪfUP8`/8|/a*oQS:8qE#±Q8_k-] Ik'!a'_ jfx!x+b!;gDd~ڑ'$؛@yʡv;%Ms:)6R [^>W@,p@jY䳉k8LOZEg0'FuNWM%A&x`eʫۉ[V[NDh%o`/ ̧.apf*f c_Jcɣp{[VL_ (쒱[XyϏfg0f mrHةXpY0:}kc" Un䜟2Ҟ7P+ypxG=)Rj%CW G CbkȦACgG\Pѫ>DA˃@yBs@4y$*k!*efkZ~@ə\&sOpSHmLSGa ̽{+{R(|#I KZZ}{7qVcpe3yvYA*GR}8;iWm$+XV\