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 ( t ] XML:threads=2elapsed=18.922cpu=28.664gc=1.988factor=1.517zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R š~觡AMڸş{ dMJb.\="ګHz:Y͓'{ytчڛl&!':4^leEbڎMXlsŧI'cbj{+BԈē,`"jBzP?,7|bszdd,pD~~FPι#kcȣ:u)c޴MWjWRzj|7o)%/#ucjXp?q1KI#4#a5Tg#?Tj$}bae_̩`ZޗuyY>B!`ϑLtēWZ4-8{Lp h;+:` ݦt+(pchK^ 9OX2O#B ɕC/Ozp JuʐC*-"ظ(=0L0DW[mG<[sZG@%W2FYE8 @;4,%Î}r@JDk}(@c ^Xh:ݢi6Oϰ.'Ɵ+YgYZ7zXZִF! ]]ŗXi%6vќ#SNp8o9@ڬE*PrC]@{&Xyq]w ̼(w>Mޡ0Wc" O5Eq ZG&*_ש~D'kwyʑ,' =OVVN90Nyd;TLylBpګr람6ԥo!$8S?*n @xكy (0&U .e_|˨ =-"Ȱ{1ޫ2x8h]:*"UMYOiAb_rJMCP X 7l(P ~q734X|į|*f¶LHiE/k VcϊQ&+2lJ@Cl2{cU;)a#ԓoj^ʆk< =Q 銵z.q[o07iTpS AvU< 1]#mFi2!61)CY"iz-#?Z:$ vPT]><얧hlzMpJ&G'S{q-aRa&|߽z|>=%A׭őRep2;ĉf#7;.PN-Z`TP( QU8NnK])$(Vnjұ6͑=5aXa}+ uFz)yum!V쳬;OX 1:)topTc+_E2yxչGR{BTB)IWIR @{TBgq$ o6~dghHh^%Uʟͨ<9K`Eٍ d# U"s"tB+<ؽ_<_@šG橱u*G+xḲmG:^na":~7=^Xʌ Z1%-SmJ>rlyR YX;u64&ե)On>xK#!<\G%9+Y3TwӔjRB%,"K $RR23b<49Jl8 4/?ArUCh>fZ=v9<5qeRRW<#7;6#8~|D"i#.T  SgYZ47a13d9ade8984ac8cb0910a2ca4f28006be094b72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28  XML