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 %%H \| / Menger:threads=2elapsed=10.094cpu=19.116gc=0.616factor=1.897zXZִF! J]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9٦D>/}sFB`{y"R)M.VK/gE qYqNp:q̿x :j15 t2`-qLĺ`Ȩ&ys1i( zi=D"{0ka_)? ɒAsEF'nL5Svp7;=p qm0XȜ=QKTԜsNT$Y-s+F{Sg"b1V(YezC=;   MengerX&@$O ツ: .k[XW7ʒO︓)[کD[%Ce!l440u+hju^]!&IKvYH(3<zdD^ *̝Xﱓ9(,%Dٚ{䓙X`MocrzBOJ?o(}aum83-!:e`']>J"lJǍ<狕CBKۇ`ZU_3wqP\SƱ^oL̃-_AYMXv9ނj6%qA yh~?pr'[[>Ax~hV}rOH(ѿ6Ҽꛃ@>Hcǝ8WUaYI!oàCN l}3gYZ7zXZִF! ?n5]ŗXi%B׆RuJ9He jomk謜T@hW+1x Sc':7 JW+ӭ۽ENJح]ۛWzxJm-#6G.%-j_CwUt#߈Gc-M3z42~Gɮm](Ir]G%˶ ʁ(",-=^>4_vM)QOhNZXD~U3;~wTnPJ)ܙS8ιzZ`3DEȾL)kICSi+/0e8d ݖ_jUuv% Q/(( I sh/V~ɕ۫ h1gXA;cxNf'*:ᔵDHItrc:QF6'vA]>vD,y1(2v`Q0[}c%IqԌ>N܂z ƞvF&οW}ek;GE`Cĥ3>qAXJPXʪ+G{$Ы=j qf>zA@Y$H45ꂼBѭzӣ,yJx^3vO*K"j͢Й!!AX$DyWSL'Ϟylⶰx> q76/JŭAlMT&>xHC] ݙNjm[xxI' 2}o$ 6 q4؆$kK+ h?~. T so/{POʝCs\u~]DlVMҭ &6쬑!`qr~iSg>U&4 髤I @_@1_UQN=z<b~W~,YH pɿey<%mW݋7 VV'7e%sһ įs;1 Yp :0-b|d75Z(@P jKZkfū>S>#rAJH/Lv^RQ{R[ TˊH|l@=~D4gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 dd884974adb30c50a1415348f01835a92b3de05f eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9dd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295