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 v D % Trie:threads=2elapsed=22.005cpu=24.236gc=1.032factor=1.107zXZִF! {]ŗXf1-/6vR[ltǧT3(OtRH:o7]=nF( )S2uoтyӜ̄ݦce+VXOϥ;lb 5 #;?ޚ|♩~@ 0mE/t8@ojc ='e9gYZ7zXZִF! n8]ŗXi%6uT/CmG-pS16;XD%Břbl??S5aKTΈk79^kh4w.4sK+F9]~1,߹ݷG,8Tq0{1\GPs?F*\۔88C쭧 +z|;%BFEp DcI ^\u5>92n3JmdkZl z Ssr\pTr=-ݗPΊtK̺>}3brG Ǧ ី.0IEslcJ6oXz8TKAd[3n ӄ϶W-UG؈ ,3؉=99EGi<ԛg%9a9eـ8=6 0.D$Vm:Vɺ.v HX5&߽ s"K^қQJ?4D䊉<) C -ˡuYNd+,s* a4:qQg.2V^7z mu߱_p7k6ggAt{tB$ڳg`oZ 2j  YPדO^?,qqaf|\Co9\u*%jD31jT('|~: /¼xJ~DF{|IILYs<4 }ۀ{ zr< Mӊh vF+ Y›a.P#z&b-̢l ԭlL% g1 ,ZϨ>I}Р2b}eOIaN5NxYPa$2{EMuDg]Y!.=#"U{P5Cw_f 89kLKf ܷ1D {i XML@ 8=(nϕCv(*A#ðo,phrԣHR{oVktTYњ2ˌN8;JSo) 0l !9>X""ieIB訚.-I~A4 sgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b  Trie