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 TT1 l$ m/ Tree_Decomposition:threads=2elapsed=7.927cpu=13.488gc=0.388factor=1.707zXZִF! F p]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(e˗Dr>VgdCmW؀%/WW{׷jqݛÍƲS`n 9MBYrw.u]t@~? OGuof5>Geľs3X%q'9_vF2na:KI0yԍw;+(AHCWaݏ0x j6 kR[)&  p9XsO9-XYe= sRQr>F|Rs'WaW&3 ! $&#+:+gŮzwG2-o296Yq.=SBB#Nٮ֚(_C8l>.^ MltrZ_/+>bѳǢ↨jص0l C3f漗Lxanx*"uĈqL^bbfpU\9A hhZ($Ǧn5$}[ HSt: )xU80;*c>%Y鰰2XwBѾP Mx0MyOhS3X!˳AHBPt:~AEG<&s ?h +ʼ%@<7vp 1 Tree_Decomposition!Uv5z g(`N?ܱO#oS= 2i`_3>`b9:eNQօg͂EUO p$M7hdLL1{"$}qA6>x.9,T̵!\(9qN}nK UE[8/I.iun~ ~M,6 [i{tYmIn Uvm"QuyA\S, bLL5޻x7ccZ&J0uŨn)4us[Սxb+6|A$d˾/`n|1E4.!Z^jQqާ뼽N"G^{.YM!l-Ww{aog5Z!x(?eT|LKL}e@Ud/bf..Q+(`6֓D +͔ _uP\a[-Z+e$}Ipd|{ hx5 P 7e6nc3fAu+.IU]~1~asz_Q@Û X %Mr_6M6:t[MȈ 'gYZ7zXZִF! 1H]ŗXi% Num sW扗#pjRgrb ).q)a| 8Pb!wV= :p$[lq ĭT+EUsҢZC9/O;A7/l 42l|y!,G]#](HMb{`# _qްs9r Rʶwtk]"K0y?Yx ׈H(m`9Z`ƃ]'ԞSo_b \9T7r )RP "lH*L$~l y”u:o\</D*Q')̑<$ͩ=T%p`g3?(5V ~~ Aw3?)f9hzal=2brX@7aN@C*&`!l[_V|SY02ZRc)S:2A ڸ7 gvݐg߶{ j9>B bdi8 >.wK'_ǭH*rgy=kxO*#R~H[kM,^-Igp/`Hס͓cI=a9K