SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,A Dd /]Typeclass_Hierarchy_Basics:threads=2elapsed=11.452cpu=20.824gc=0.928factor=1.827zXZִF! gp\]ŗXf1-q恈͐7ӺV7V?A.k%z mo\Ցs=eKƔD)Y ۴:x5#'s#Qgv$˓(*~trlTm"p7Io{K:fhzڈf4e@:g]=yf\}eKዓ4Lp7cy lmwwsrW gيWxբ˘KBy< |N-W4n$QKS52mXQ-|:%)~9h!YxAVcYրMUѪsI0c7@<+S=o6 )pb,"GFBIGe|Lmb-'1g0=ނ*  ?Q}2NP6q]!_-e(eX *ӈby<,\5tVCP`tVL2} S6#L 'uPpu!F/hxBH1r4S:˅ .20SFq'IKm:zaLm~HB): AǛs,=Kk~=l 2TO2:]eoGјW&r= A Typeclass_Hierarchy_Basicsq9euȏ #Aq]AXF7;N;i$ !5$uj.L v=#`tg,JP`Xo Nȝ"8c;0q~/?(ߜ49b\]X_W$n%e176/̕2ņrԭ`'^S bʮV 5WqUuGkyֿ_aU|YfM"%3jG;}8)cʦ[;Z0us)4ta7D3nsY<=]X11ӝ=GLRc_XyW\`-`0FY`>Pџn38l9S룏WrSA#xD%wM4@.=xY1k.xq|cRl؉&кtMHȊd7gFnt1jTt)X5ToDBo|bߡ/mTxlcWF}r>כ;cCdί "GԪk$wB=7b4գש+Lzt$3&gC?MeA(uUzA7o6}J;OOp=~4: Az--Kp4g;;hHP][?*e )eBZL2@oӁ6B;6"sokP&#Qyn6u,yG}Ű ~ =ǁI+ѹS~xY]e4-F$E;ˀ1w}5z`?RG[ޣ;L\9(@L6m t=?(]m_JcSL5(85pla1 0FsD˿q[h>`lhT~z}_Jba$`jr4 뷦sp.hN ĿGdl1DÈ8b@wYr8k'R)gHDIJxPFIT Wp9c5,Y4Pi.EYc=|!x0 0-.=v0Cz[*)\|?NMaҔ$ؐg{4(0Ia~y3E(sS=t/PpqHpO{N&pMTh`rGl"IjqE^Nlxu0ek+rƵWCqLl %rs&yߕP3T.oZncAD5HuX$^cfK5#gYZ7zXZִF! 5]ŗXi%H9Z`n6 \R|I<9 8{SR w|P&~j~ 0o/*}@8Ŕ Z7o_Uv<:9T ^9yG,ȁ޴Qlm'wĸзu ׻=ƕr 19b]%?Pb3vh=Bfbѳfͱ׼ .Bs|]qqP˜A