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 ||q% Dt % Finger-Trees:threads=2elapsed=15.703cpu=25.828gc=1.684factor=1.647zXZִF! R3[]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG;5V`Z%i րyôx !1'1V۬맰k KsY7 U^,=J8ԳET'GO&xaAM+q},YET, 8_HzM5Dg1 J2`FwxhaS{h % Finger-Trees|ܴ<|D} sd'\4 ji~-ba̾$Es]94 Q%jq%cXJkǏ23L&(^2ḢA&87Vfp.R["BU$>ŮLM@X` MQA(wNƅ"H!•_u$n]-p`N{`^'MWo)GRrUн+ɝuO3F\n٠oJ *2p*(v~&i4qY i/ z 'Ef]fCKVSϨH/mwql8Wܦ7trR2VV59)K]=GE"A1m-܇n[KcY-׷}49V?*g;( 82YTj?f^1V׀&*'@9lIcI*Igr{||0踼AJ^ MzV<-&K +zS5ܵڠR<7@ Oy)M9,$z#4 XPz_ͅzu'o8[sfmS4X7k*Di{i֙3sM7}\|[w=cneIM qjf3}`0,Wh9;gʓUqx,@SQ۫#ӴR1aǥ!Z _ꤳI\վ94+^׎ߨ\]C.7oŎ[U#q9y4)|[BAh_ |s>k/A.2śTImC!R>%^"tdžY_E4i*VDt T堂[Bӎnꈿ T'6rO`v3IeQ9$ƊZ1dA<y">.o$nOq384OU)}P7 4KUP9k_@:Ik;(a,lPZi+;v|W(T*Ԩlh'Aܥoh#`@DOqj?e'Y:o&\n̏*܄\ݔ,瓘8?G:y (,3H,\|.yojWji#]?]̈́1* ?Q6ThwH^$D=Ao92kS-DkcuY(!rŎTN}Q;p 8tDkNTE M H[gYZ7zXZִF! R]ŗXi%B׆@YL+K}y`;3̪Q,;5+08 pG ȧlNݛƖrFU@uD[ie^!Y)VoLSjoA.1$\s,w.dozc'>ⳁ}MQJqɘZvZ{R\C2[."!,{O08-y.X}"_{Uȅ]10o_̑vA>oN&u%ɐy2^3ŷG7KB سn'w6]}1hLn; } F1{C"eև(«e9BT)gbLU~+\c"(zZ(r3}k";) `Ůl[r`V[ǺlEe@j2(яh/^Go0-}.,^ADӊ (Lƥp*n<@=NgzVs`:L*3nj᩶Ryhۮ6Fٟ<1*bo _XɅ}1.͠e2 ;"l) " _{-参#vlb Q_,ߠ kbyWKkK;i9, qɒ  2sn Mď%g\ٻS9"ڎ{Y LfhI |krZһ%Dr Q7gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 b445cfcf1c121742e2f172367878a61977cb5614 e6973dbd12f9545c3c6cdc3d2779bcec5ef6e1f6d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9