SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 {{z' ]w UpDown_Scheme:threads=2elapsed=77.404cpu=144.532gc=4.080factor=1.877zXZִF! I]ŗXf1-q恉<]d %S TzA=0 e"jӾ %(R)8-p'Tr? ݦN^fqɑYкhɟ# NTm5&4Ov4^AsfHDtK}eGdv\.W.ξ`5$‡kV`Ո MϏ-I d7t-Ţs9\FU?  ՝Pe䅃mP$MHlK6@Ʊ /|rLQ \i9-w!/ pfm 8ª,mpnv BRDxS' ah4%[0 O۱$:->ߌ8N-- (X.7l:[:CLPS(5 }p>tΦQ2fb2&U8c~u za[iĖ8RHHuDN8!h5F;C͔:HYR9 m/k [WrD׹ 1qp>0_$d.|XIKb Zt7|#@fW UMgmk_I | FfiEtyHo3ѝUhm/CLs n =Lr;ޚq.>7\t|R(LT) 1pL8$aA`J̦&K.& XtVmv,0^\5g48w5A ;.# Yȅ? @jҍ X֔=a"b1!QC/)h{2} Tݑ} %9դ{1y *P\$@8Ckϙb>lEm?¿O%@IoﰈS5Ueċ"זN_0+'O5[sbq]=uoߝ%h#a 6[lvc/izQOdjKQb zGAQV#KU~~ ' UpDown_Schemer3c4c q/.|F>`&d<89,wEjCƕ9e$znNOBYP;{HR<뉹L!Pe^YCeYkW}OGrɷCpangc LM1nnh>9mNx#á gԝęt%@~qs^Fr _`"Y"0)ś,fOP_öv![r)c)gaiR÷%kiv){YF~d ;ƪ6Ak.?-vu,x lm~JEr 9R] 4EPC !*F,]aø;o(,8%=&tHrhBޚ{;}=4 pk2q/ߡ?0 HO r Ah-Ժ=@ V&jNf?EϞ G B:opX|ctiL/dX?Q Hž4ONRpY|7fUH1j- ^s%2>[~.1 M]H#Fz`6;{015Īwe.h2$| kƦꈅfSi䴥5&S+%nE3*8} ega%Hjî0ʣ;60>0AeJ\Ҧv4S̔qP: TXTZh. c<[ s|)"_EH>Dw^l{$+erِQt?o](kb76dx EaVlv8iHS /a+wvV!7J2u262謞B柎`@a]Y>3'R-5hyht8r'Eu\:ȉ\x[nG؀!v:Y:CE2o.>y$*? k{iM̀VԚhK>`s "P*:;K|` ~v\lW$^0MILӐW3%[/kh6:֝ [ՍW"Ņe@Vbݛ=@a9r0fu35Zk NIK&тǦqm\ Og"řfa? K\W=d H ufY&0:}>n\VD.jLscz@c.ڙe:vYݷ#?N8GX.b^ iHTLYb^3Y:uO򬨌e}úuo#F\q2kSvc{%®3,B֣_ B ݐԴ1&ɄS_T Xj4 R:~ԩxu.U (+$ۂ:O_#;hGJBAٵ%{s~14zHgBgm\nr N(ROz R V򔏃(# t (~7Gc\]H5KA\P u8J[eS7~sf!öY~EuC]JogϽꪥZs[ɺVJ⟧XK1>zDp;I*"@G~r8y;J%'NˁKPtB;0 YθixK.&WfR56!HZgYZc0f6d3f63639a66aafbcb27dd9ce0362aeaab0be72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 6eee2f28316fd804254d47455168bb21d3c5ea3d f031ec2c3cc22c999712a7d3098959957923e758