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 XX|\ S Real_Impl:threads=2elapsed=70.129cpu=115.276gc=3.028factor=1.647zXZִF! .@]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkwqk-e.a#]r;X FFPR6qd730~󉽤}B,9UIH0>Y)I1BzHwJv+k*4k"6Òopc$b"92M Ve+tԙ[1H~xOgIsIq0Ěk}??+ a {:e i@3>&G./,K~@@z\+my(*~K@jVoj LWXԔ!R~NB^Ϭ`m JXŸֲ^V-}:@ۓoԶDTR2 ,$''/H_{$|u3f+Ǎ&{fDFVr~X@/캈 pQ`IE%5!d^4%A퇳7`T91ذ~"+k,#kd{ULA!%Q~1gl~ݺ6, g]SQsa}dSӕL\BX;*bO4TBzL $ɠHq/Ym tu!l6!-L0qE\v >Ӎ&U0}yu=+|wM(-ykG S5 y f%5,#Lsu:T먭^0,Hy19+E3G/>y3^VEBfЯ&H>@Bdܼ9+,P|| edPI"eKM>#:dgz>*?dV1Z3͚?ۨS4ʉ764αVOM](͓^] Ě~ W`ǕӤSxOd l}`VhE6]\ [r6# uhmUMmRNiKfG, Ią6.[coKG(Vx1ҵ .e~p LH5zz2&r; r|37E<Ϻ_-@xUoMpk4ܡkao`%)vί:ⰦЙ&ub ?*˜xoG"9n#{ZL3,to8S \-WgYZ7zXZִF! QE&]ŗXi%6yKIby?b_xeg~,F#Ic=pŷMNZm!m_|_z* y ;T' sҴ=*U(wؐ cki;.lqܽ ykJE9Z1#$&"TU!ڧÏrJ-<`O =Xh@QܲZ}vrL re9 &lߓf[ż_L4tմ-qWg{> ]8{~xxxX.VB >s/ ='B]93kMq`-/+h=\5ubR4ETfGĞ _*Df)YB/j[(ؤ7"f#q{ $L'CY]z=-H@DgzH-M\Ƹh*! uIܟ~FCN#ghp RrӘPɥvc[Ȉ^gDE/PʮD㍋^r`̯J-EbI_80eZAy[S =vOME^TU:d5cϝEjzEE    Real_Impl LgZQfA,e[^sˊ;ۭ }c?yǹ"tl,˺f Wanmt ]lGhv祉͜E:Q'3h5Թe 5sAhJ"6(::usm3b6!+\6O"A%>F=qr /;7|oH]'em9un.Pfגfnn {2nr9H?h!hp: 6)V]f+#IoxlZ0KʎL.88&H `a+* RWiZKz ;.IB.䤗(g2I},\~Tn:%pQLm\[c]ɃIu"c:$ >="׫}D<n&;!.,I*a++P^Q189ٷ1URQ.Eqݪe0ܑlZg 'V4G8 ݯ8EhOhhz0l[aáV/'TƟCxPa ZF0<*=)WX 2>"3{NQOD,0gu3ƚ2͂~%OR|}J=+oR9e x0U;>cϺIiKOvZwyro YQ#KlXP rl0e4{"9$R,-BL`eoajzQ04!ےя="ΥsЈ;q "C98:c]Qq9Fp~(9 cx;-uE%){qއA淋tS@)? .`vJa@LO WyT;WՂ!S.%׸lw,,]N޷ { !z`Y"tKjZk|[N驞1W[`_'Cd;0 U</q[RwˮuӢT~1M1i3|DA.|\pꞆk'UqPfYL 2(P WH{ ڙރB%̈Ke{{DǶ|d})9 uBqQ䋿P;26LFo-ZL x)F;UЇ >HtI-t)׮p'[`j]ɭ|v*hNSB͍Wf|!_v{lCWNv jK`ȱJ4祳DqA. HW Tre1PऀHlaBcᥪ\Iq=xĠeu{Ug!5cIh}H`PӦoxAyFa!Uo1h:" -ENxﵽm_NF.4X"e>|~$d21 Z m.hV䪿EZ*XuEt<u \cKzJ}q=N}%Bs=rP(x?>',ҟk{A WUk]1V%4_3#f1L|e\K͕dhu't1`ex)Az40B^8-)M˧-4#ISn>M C 4I8ߚA :: 3U-D-s:}LXmX $ V ΂tU%p%!&CQ |?!/U#7,5nE2jZlu>sUqSx<+擰]|8D8X%`o.kwPȚ"jjz(8㈅sP8lo Hl0 ]ܭ{'TD̴Z ,qFǠ).|>8LCAۈxbr$wJYݓ}A.mTL5ԋt=^8ÙtApNEs"'M<})-E8e㺟8i6+_7?zfi}I$0m6 @i_kUSev $%|cC[weƢpαgYZ01b545ded7c597f4bebaf85044f8b08c3bfb967a 037313e101abcceef5abbb7075e9537bb4f0f735 09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 0f83e9379368d232af1423c3a9685e6e1cf74f88 19960bc7d8b92d1582c168aded65cdb6b2c70109 1e81db2254d4d5a3185b5e0072bafa29ef0ae5e6 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3f256d9765579d7be855ff227561dac055f964bc 493f6b95c01e3b8d08b35434bf9e1dbf887b5a6f 591f8d0b5c5fa506f7d5752646a537df33575b48 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 79f31440868c5686b204e83e4f26f92eb8d94f9b 82fce86746f9061205d625fb926c1da3b71e3bc1 96dc0ff1a4cda12e5cd78e6cd384ee1a92db70ab 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6d881014016ac510413e96c94577bf126ea335f ba3b3a5730257d7f4916bd70913829a914ccdf7a bae67d108c6c5e9b336b83c8f4eb0c3b2c6bec72 d76027a959c8044780f5a256d16ecefcfc8b9410 f8bf8602b256d952d1aef972c9aae94ce29a6c15 faf507e60bf30e4afdc86e8549f3fb8fb184297af0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 72889b77a7cca4b0bb35d2db48a45d4609dfcf95 8dbf65189602510ece9f7b304b777bad5b004984