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 <<1 |, E Tycon:threads=2elapsed=9.936cpu=18.112gc=0.716factor=1.827zXZִF! S8]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DG;68v;fU iU*)i2 ״VDz4iKR׎ٿl*\izE&0&gM{jZ1le2l8 Z,ٲoIv%(恏:RHO̚9p2XIlV^Òu>[aT&dڭ\tW0RaC%S0{l{1$+j"&nUC^ǰ|LV/]UE϶k\"BUeQCzduu]hbe1g}K+V\3\PW@]-nmip]V^ҊIkƈ?Gb⥮2Gs2;8OjA3 x`աmTJs>)AFNnhۃ9]}dJg\ML jZT]Jt'JMd0]BT6Nj]or: ۹LQn/`^6}QkU{pI؋/II:JFE?Ed}L"} /cf 0Ne[ܝ%i(nW2Ef.URP߇4QHa#Bv[;!-M kO@"``$dM@M"׳԰Ӛ1{ȶ“RT@Kaq-IM  Tyconc.jUdoP*ݿ3Ӂ6lk"G{7xV.Y|R3CQJֽmμ҅p'=IY7V|gsGz";G2kٛ@]{%Xt7HU2GSъ SO4^hޱi*CHeR;nѽw%Rι!΅ƣs76|>,!pGY8_)v3{P&nUO)rɼ# = ՔNQѥPo<*q0ɽe( Ȓ$DkE_rC8F/k][4#;iNsxi I1t*^Zo~#3޷8VJF-Gk+#]G[ ;Go ~OUl*lXdPF_ϸQSt])K6ؕ[2*l"Hv;'Af r'i@A6Z7:Ӆq"8R<|>)'M"OL#+fX)w?%N!RYmaN"Cz_'>E@(L7%>Pi?CuvE"-sъ|9￙8>Ψv\PўbjWVC1J1HLt0ϕQ3Ly/ΔWA{No-tm"S Z ɝ ATQRR5x.H  eL*5o#KdL{9n8Q Ў$-VS;_UIl|RQqaeɌ &_nHSi L0]a Kv`\6GՋalTIR )3!rD)N\E= )X$tГOL *)DACֻ9i C,{M{rcgYZ7zXZִF! :]ŗXi%>L;Sǩ7G#D5xQD/G~2~TeRe[ؑ. f'( j;5@[ _%^U-Vd(5tT懊0?P0"㑢@J{D te>aV:r iIv,wӔp3i2mDл6獈Nq@IO# ؀6;SE!0@lҧgɒ"DU?TȜeX-Z(ǘOζ2£~NڥP$ .iרBJ.u㩤xustugYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f c48b4da46e8a2ce4e2270cad53bf92f983ffc9cb d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5c0e078edacc5c944f795beb4c8b643ee0eca7ec