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 ZZ## T$ Sw Minimal_SSA:threads=2elapsed=10.424cpu=18.724gc=0.464factor=1.807zXZִF! b]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5cPM'ϋ&)6e>,N$h;lQz# LRߨLܦ]U˷M{:-/<B0pQ wpDn+R2A0I[wSm~d}jg p )UTx[pLg ?ϻ%%#b?# l\nA\=ީZpk$9):;8NgYZ7zXZִF! :]ŗXi%6y4-"cFa$;]b#E^AvqO@%&4naжK'm< 2O6@6}ﯵ5xfmNLj Ƞ9f^͍ݓ*"^|9 M%QչD~$vy\/ω޽q!wq,/a򇼵qMb BpkPE{V ~@N_8{pnx)`ݾW*,t%2'',4g(_;/èVH6[;ADU= \4 {1Ȏ[;Dc 춖P~$mdzl~I/ڪ|eV7A.͏f[Pb6$\m}k(u `[(8O0YŠzDk"<W1EZ"&Io-v( R1Ȑ |* t\;SIa=(ԹJU\śOc{9JF �n?< baOm)Ȝ|\[|w +5=Ҳ2BC&aCl2^ұ!DT>LHUQ׆PcpN Qu&u]PkCIQ-@O g sCߵyqܔGm A0Ve0: Z{ϓy`[ rSn7Z@抟,1Y !TmWڰLzo7ݩ#|JPFzd@ AY7 3E&S쿉KNcزE5nGf-)O#/(Y=~om!TuL '&VB_ߚh.F!IsV.ZI%U+ҼBBA gktðWjquAYfgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 8d483940364623c1d30a3054bdfb97600aedce41 086289e1150ec46e778eb6b5a9ffc8ed2bb7f0ba 0c631eb2754071343cc41a6a6a6cfb81a4c0c49a bd68d8979f90a0356b8b621029e02ea90e81fa06 # Minimal_SSA