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 >>?G $d ]w Architectural_Design_Patterns:threads=2elapsed=21.903cpu=32.580gc=1.492factor=1.497zXZִF! % ]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2ǸxG?&놦y'p]4'#qiR^D-M?QрR ֐E|S[&  Ǻ`:_D} :wKY3 /&rynni*Crũ=]ͫt"uFBM(lUyĎS`_47 !=<,4y^FF/-@$R((0]q_[u 2AB0}#?O_Qmp8N+ z*غbf'ʉiÎlp O~ J4$`x-fwl+W[H2>pE(&}x}/*AKklU-Qs Zn4hi6qZSKW<g}U ĭ*# #:(}^S] XA`2Řl|޾ڮag61do5KR낎 Ϡ#(.p[7 p'M?Q8XGygu [y-T #; Q^s1kZ:-_kvK{f5o0,a? JaJ#=x:)蒊3L8w3{NFsi IE W8QsJ 3 Ѧ܀]9"%2J|F-@qLX jTU ̽#8re9fp!MZnրbI:qNV% 手e%) B99LfFfp)y(Y~c*_:-b}޴7L"ʎE_Oo+VeòqPy))180b=MA]hb|:'wpVT k}nc%.*$ep]6f;X4'@* Yeub<ʄzK\15ρ:%pU[ݱNz:I:3`LH*V:8?³.iAw*#1$!DRjk@[ƏQ( @9$3X0*(ݝ ÃX%eVT}֠7o}KPɒc,ÈV.sT>B $e1ZQtj .F)U[(/"{sܮNVrfy\CE_LXZ5b}laaƲ}>5"Ic1 Gh_;hXZ:~×JYgK79ބS= RiDtP(&2";5`U. g#EvLoϚC>hO\wH