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   d / FLP:threads=2elapsed=25.074cpu=42.700gc=1.336factor=1.707zXZִF! R ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qmm$Yq0[%D$QBxGwIuOF9y K`qwD@Vtɫ\u:E_#uQ96cS 2@  FLP_ϲpH_ύ7k),aeb5&>IGK{49;K0BcX7_?npaѨ,h^9H"SvYD$PμoʎBCx{4-%,Q- QĠ}8j ;.WϿ=iyA\Z/r W"2r1FEKwǦEUېI_t y ?N1D+uVn6@ZL `ļQ?L>Ǔm/ yRN{-VB"&=  т<ц&e.CYDTi)'S`IáwSO=r][eW^{@$̜ȅvx[2&`jʣ{Ы$8F}pxXygAǺEr›gH l{0; J~QwIWM6h9yM@>0!dz3ZCn}[m1LMA] 3nQc_n".:ƪ 1PX s;#YVf*ɾ@zy11$h"AKi؈jҋΓ*0!NS *R=҇=lc@F";S{=\%Yzه}0N]MV.SMw|}cSP&eG E*́j&i=..$DZ&. %O\q!vy.d h(ne/J2`1vwZV4s*DETRV.e ;u^RY>q-)W@i\, MEk h7Sœ{gV"v:0_ct8HGf4>o% =a,^A{*U ~ڑN*aEpȒ~8 0B^1HD{<7Ԇ8y6iD;ftl_~}C/Un&@B;0Anfԟ^͗3[W0| Uu;svtw+ ~$ث-3Rш2Ǯ9S@5Y_D;[QҞ\?Ij:?Sokab *cCKӍ3,k5c%VG)#vDMKR#)2@#r6cYUa 3-Ƅ0^ϝr٫m|V<ۯtfXPz=ٮQ'#UҢ0vI $s WH@ԘCˑSS`^zKPr'Rڥ|3чMt%2x }Cq#lkZǼd8;ExX/RD61S(.k 2-=+9|$.m۵d;X`-jJƟJ>jܦ\M놬$94y]uqW'ni 53D0~r&yc-' aaO"Y)d!hOs M.Mj} lNE*ÓʹO3RD8E9$|̻zgOzicO +K@*ӣ: MB7RF4,ᴖA/:'+xŌ {[H8/B/;i!JOJUƇ kY:ՋU&8b}_,vEn.- Y62"ˡ zy]j 8/늎ެA; !8 !ͶpX`߮c3/h,Xu5W{Wj|34EQ XScUƶcBR@Gf5jM-k"H|>*2W_k4NexjVIR&ҝ)E[yMx4xόsl L#{ȚyՏ3m|)fk %ƯD@tcI3ĢٻyՂ.5' NLDrm;ʶJSl ?=M'f@zEC7:)H Z>"-Ⱦ-!QBF]gطm3S+ƝQ "e%vjU,`-LԊˤujؓ\cU#jդH@7$[td<7]318aN ?Xz6%|Xl3T'e )5mX IV@gYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa88c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07