SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 a$< S Real_Impl:threads=2elapsed=70.947cpu=117.848gc=3.584factor=1.667zXZִF! 1I]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=k=hg٠'7_Գ|[)w.j :ТTT˃9?H4*& #=w+m.FB|0tG z*$=!5Kg -YolH*ġ:|WCFZ۠q\0~,>dH~a aЦ.y 2V3 FtNy1CCeϗ/32tj'}\/d en #'Nÿ!OAa<سȎnb?rr7, 1ku_>,Pu#ŧԱY#@u\rP~E$fAr\H3p34Wk(z6P6{GP!t{i3]NBair ?j-#UfP@kY4&N|_ k: lҒn?S>B8oqr{=`pyy )6ERš<[ʖf%7Ca>#{s2>03蠠M=P?}"mmvZ9q{A@曆;͆Bƒ-eO0jnRM4Qk/A )v8gD0KB& F1f W^=Q ʓe-69IgjqF$ O\tg0%5"i9X=#Ns S vURyX!żݿ5 \acˤAhTf쇼1+*@CR"ڛjnEaf"]c{S6E6mdŵv 4yA9Xpxgb? BF`91S!++f<?l =E,st>q0˸|`GM>|p:C\E:Y@{Qg4X\4qQ&oulY~)?bl [l帹[d*?^k?ƝN c]55rO+LM=I nt|XOx!!N;o9EX4'-hsTCb =U+E9zLQqxXtCR&l>?ˍa\9/kwb^6^1-NrTc{*l oa![Aa P" M`L*қB c%gYZ7zXZִF! S]ŗXi%6˻fgf;/7wkW`1h=Ȋ9  /ai_9Xr~]p[8yHdvVb6ASh&v+):>+Mg͜9Bĸ;hq~ ~6+v)=k4ʴ2hmрNǧes- O )7mA~1:VK^7C@E-&ĆV}N BY2B7j?&x?"or˯28xgvL6_b/~FY}7t??=GBw ?ObIor09O0I;c,j%B8-?xb([5FTXjٔvn(ݽRbګ*8a-T ssScT=JAci-VP_pd]8)ƻJ>*E VɺW-|ZH%TPd&-KN/w@Cr( o@%q-o6,zIKCx5Ǒ+yEN|F# 蛥ci(v(Fg2)1C%CyjzfؽL]g @44C(=ԌsULNSvkItXlBzd_vfԩ_9x1z!UGDW 1F^^E_p8J`Da5wJ/viED>ٖV٢>L/7ſ&z<^ȼL26ؘ Òǽ;)uQivi_=sʢ>f@OOxk(@;Կڃ6|%5%    Real_Impl=ia.bdU :ԓʾO Aض46,!CjREs\"iTcdD5c0jXLմLpaʋ*>QT79OSC^EfwShĦJ(㮥H,'LwY8u6@6pN#|ߏ!M5 /̗oʢ#j(AEg6ݐ~eS'pcFbs%;/yrf^f)u"J+C7H*_)dD. he|)G8ݪ'eyFۖs8мaq铈^i:[#?!kwhc1gwC yPS;y>t'pL ;Ò1"H]`5B|g'èn_ɛ[BVy gU&p H<ǀ$ 9sN pP8Mt8_'F)7cRΟ"'sDcv>!粠dд۶^lf.Ngo n2M B[X-⤙!bɖSmaZY 4Ax%U)7ImKjzl@6ްqvy};c,׻h7Qx E7Jfzbi R yNmfQ z"bd=͡g,ql^=aj^Em=8#p ʅ.퓄5q]R?|ݦCHh3{ۘ)E_f+#[oQ´z$" O//j`Y@l)@|DW 'ipF0?^nLGX[ q;S xyyܓFS^Τ*5pkr̍7B-va)@5boN&x„F%fE" ǖ: *8y _^BȱrӢTSq݉P=jD3{Աo5'YCH0~mT- 7q#cK|["[Y6VGPPgq/`xRU;'+* Y#;0ےVRHhڈ)Of20 ڎ ܝR##a `~9@SS٢J98j&&ݩU~e0q MK[G;0.2^93΂OBg:-RJ< >|E9:/$8B3:q"_6_V;fъxx&S t%(`D;z"ѦahV:S9wrD@lune0>Gl뜨rQnbS42)R4&$Rf]KKGQաknkfm%7\>/*bb'\*[2@Z߾\M,^Cf;g..ɸq;$cu7>E *݀GLtHsJd[㴳`؅k5<A.JSPkG-EڹnQxp"ǦQ|6T/*?qwÜjBxr 뽵,}.Rųm: MYp*?%y nQicđkkEB" v=i '*YՄčdӻ(N>& 1ٿJu ʬESbHl@ p[Vz+%/ ƥ<'w6 cc?ђ2.!Vd^Bzޞ=^8ƥ%ݻ 9e_ 2cufn+C{tbϬ9`?H}K]c;n!&EdQE\a~"ܩ)6E$*F$zm̕0fܑԲRu8D V6hշMg)i? cyNH>$grU/j&T֬/ -_ۍuR!Jye(|+HJnC*lJ BNIԌ?*Vm4nŢA I7̥D151TM ӘqO0 \ XA]ZQ wcd266b:ݾvjzAHBIduxyH7:)? !l αgYZ0b69d8c3f70856201e8c054bc34357b13520292f 0f83e9379368d232af1423c3a9685e6e1cf74f88 15ef148210b86cdf647e94d83b17a757e522eb1c 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 493f6b95c01e3b8d08b35434bf9e1dbf887b5a6f 4e64acbbeb5a61c6c52e5095251724f54afb6bd2 591f8d0b5c5fa506f7d5752646a537df33575b48 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 79f31440868c5686b204e83e4f26f92eb8d94f9b 82fce86746f9061205d625fb926c1da3b71e3bc1 94865d2d1b29caa2e5f0e30e41fe9b23e6aebad2 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6d881014016ac510413e96c94577bf126ea335f ba3b3a5730257d7f4916bd70913829a914ccdf7a c18c7c979cf98e514657390c6aa582a0982bd8fc cf0eb34815c10b600e671c786585de3d3713e6fc cf643868576566a93293ed1d9c56e4de0f463ab5 d0721fa2328290669828585095650cb70a632dce eb0a525d24670da3e4d4a161d9b247837fce8ef2 ffdf6fda1f24723dfc17567936f72f74e0f46645554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 f8c372f95ccdd3b9db8ff38181483af8fedf4453 32d1c3b4f796b761d0119a10c58f01dd8b544f1f