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 T74 / ComponentDependencies:threads=2elapsed=69.531cpu=133.800gc=5.788factor=1.927 7 ComponentDependencieszXZִF! tT]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysOVGckrf2lH/2׮;aC Nj2Hfxׂ49"!W?ji r;z 9'H u˸N0 M϶a'+,XӷHﰍ|ȿL*kMȁcg a=Ǡr AИ28/h֚> j:<Esd<#ߣ?\L1 "Gl̟@B=ǽ:?jDwB*Cˊ+)\3Puj:(;Vs>`OxP-65/\` Ḙ, DLqс0QRo1Ԙ|ǰ'cV BtEqWPYo#,P Jg-īF]I y@k;BYECDӷyLYÄX˹;3;*s0Jܐw17ޣۇhvOw_g-4(p(׈A,hӦld33åGMoo f[ c+`Ks?x7ۤts)RM>Z5PjHp$tL,p#x'eT`1.IytTUMYZ,tQ+Lʉp3?!CR+\c /Ѫ\i+=i_r”}:۬\Հ]xwZ2RΞW~UǫG2`R,wF\E%iV/M+H%tHfe NԠOlڄm@xi,#gaҪ:]R`aDz-_A{bH[2,E;7_nRn6ޑƱNNu]kƍMH VU#Yp zwhGUx9`~N{R _Db"h}]ʴҾ~+W#UTD }Qb"|Eu<4kښe6]IrK`ܝO+l9;&"n$Gќ#͏KJVL9"9kmԔTҋw?ͮ <1J~/ DhK"O02g_e!G$$,**zyoDP؊%Y2TzxGcTHr}y*2(PQmΨotjTY};d }xz)Op=H5G{Њ#0۽$Ħ|%YFFP7AܰCA&ta8`5Zp)dɉ\Ю^O_pu:XtKR( m-Qz&mKҜ!x{)yI`8^FY :;pd4 u{%ͺ pgYZ7zXZִF! J]ŗXi%Hս4l9x,+&扬O$W(62^ҧ/'!?(~!(ͻknB<Ao$V:&vJw*Uײ7 [|<6L6edN``/Q%{Y,5R PpMdP ˑ&Q0G-!%ҧ5#K%A]ztIIhk!WA3g:t-իp2FZ-4V@e]ׇ/hSE%ߊ88oc;h&  -jd3{ߗVbc;l*C?& `AJо9LymSȓ=@jq.Xs=Rs)C؉0Vm,2KFBcL0:H7LdZkFX ORT *Yc rZФWV݇QH_iZ]pHL@sd;^s,*Kŗ%F@x]g9 #[,9(ŽfWT_Eܧns9mVfBD;0"i:sFv6D{\H/ :CJwW/ m7!ȥ:W#Kk^?k5:v59/xrxH<Y[#0r"p)v.sy`ۥJ6-ǙvPEg bQRAɍ=ƆLɗ'&u(ho?XW[pƒB ~_t2s7ÇpN ]؞ɣZ(_kA1ZmW!z$؊؜ @ ],*ؚ^Iy1LbQJ̕^Zk!D$TK,D('ttZ!q9.ֆ=.er&Zy"E&r& zP"azjP:#*5!7|F4J1%V}_[TAFk7ԲBcPB!zFVLOl1t˖~{ ;H78kQXdО)013{Vt@|9hQ+~ʔ`)FJ+AU{{3%vb죴r,52iII{l1s V5( sgt xT sINNU@jIp5o䪕ZE+$ pd EVH~MWBf&en-5@CkFΰC $9 &q懁ʍCsWpt*hWp\t \ǗJKiΩˡ(hڙF! Dtq B XYNJ~Oӡ~7M$*8]Q4jnk9;Mlh~R>Čl:?/cW+oؼa-iJ2$9*`^/G՛mJ展㧟t5; _tƘv4@@+ 5ʹʗp<1Ԛ]A3Kۃ_n ,_:~ۿ..(# r-vT3S|%K{oVCjt<1SLc?πh.avfӥ%=ؗό'/hYeup]s-|O$rFzh2AZL#.K`5bYCߛ@]^磊˻"=nx a1_<DoG?@`95vTGC lݑv?''A_( @n~S~\(5LUdxѷ2l#4VUt߿k?sUD0p֍McAKQؐ(݈ze;& NeEsY G4\@*>Dm)>mH`TK=^IW䛝&hzSg 2WHT.KAc[5e F̓͜]+$RݝnJӇ" OSj*Y 8/=c~|1ZEؾW>yE#S?\;O!*;D!XbY_U??ɞ,v4d̙n?gX~rॸѰ)t")޽û᭤CfZ~M14o^g}4^{6",!xAg.v}O#YߢA8ښAo=# )QN֣1wR[ ~/cLenP8TE1@"n@bqlGȠky)=hT avG*[>Y(,jaCQ\G*4~KSK'ިʆх墦)5;Z5Ynx\:$u5f Lq}ogYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc348c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07