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 k) T %S Dynamic_Tables:threads=2elapsed=8.796cpu=17.192gc=0.456factor=1.957zXZִF! ]+ ) Dynamic_Tablesy]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 ҐE)21+/qdBBd\,iQnmԡ_~\V jE"|g+PNIUX_T-(8G)) ZZB9lX-X~Ao ݡFm/3I?ġTc*c#!}"|+F by*7t0qc~<'56g-kVroB]w17aKEy[\݆NlrJ;.h| 1D>[DKC2- Dׯ)nc79 x iC <3U"~z 4~`Aw%qD|O\kd0<ݎB, 3+J~J t+4 go0վ7BgWbcesԬ@# *})=\R不mpQA\PչT:!3c$:Ծ*(VtJ9qÄ`#8ۇܚ0jOB)@nltM|()ǢC-7==LJ@8Bjt luTf[,MfNX X;iB]-? VST3ߪT3e, Y곙⨗?QKDxCx1!S):\KF|G$<;k.x_yO_Jo l\KA?eYFzHGMiOW᾵ؕ:]*} >iDgQHS, $<%& WBob!V Z'Šde-TiNppSջ^!YkMp,yѝ%-,Z`NׇÞ#UQg9#q}B%RU.}膹Smh邥H; 6` f |eTHrqtIa(ru^9Sb43GʱޠXW.}=#y#dfY H-AΉS?p &RtI,nIfz4EY߅Qgh}9\ו!ڝoct_*mDSr$A1&Vչ?I)z}$~ua .,BT|HVIS|) nˀuc 9kP/ă/3 :WDГQ O' Oǃ)3Ū>% m/@Մpy9~d-V"rA剖׸QgOye1&߰`$hA']pmqE5B]ti*gCr7vUhPX9KQmc'5UZ_%Kր",e"*h9yYxL3ذJMz3~@_S5_f8 ڰ2mӑE~O$SO% Y1.\ F7t׵nS W ` qk/RZȟy(aӢd]|EM_DH'Laa%a%/ {gYZ7zXZִF! 3]ŗXi%o7lO> Yԧ8^鉈6I'ξx#Xs&/ܡ] 怢w.l(7v&'!YPtBF<})߄!%פhʁ*ݯm໴>0ӻr憆b;Jܻ@$Ds^ `Lʂv=mnf _ר.V Uf}"Jkߖ܂Q&jF(5QŜKi,f d]s_+4ZfBkC _ :nnkqJ;PK׃B2瑱zZq>S3"@aeQ@[A"93Osj,M?NF $5_lj3eŨ0mvvɴoݦ$gyOtA1AU. 3;̠{B>,q˨@0ǘHe㏙K07Yyvf3MJ$sXfĥ\łe6r{EPӂFN Q\9%|~NPڻaS꫽k nQ Br͌ƑTjJL*\gh;U UD1w %`[ؔHXEN ܿ`^gV9V\DN:NF|XsMu:lf[\t} Mt'2æza(+CPpH ;;32eodzuEm i# tq7^>;bkfw\>`Ld Ӧ&3gرgYZ4c559ca442acdc457d85e89cb5cf8519ef3aec09 54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b29 9293f42568fd03e8bbad4a753081a37da464dc1c