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 ))@= 4$ iS]HOL-Nonstandard_Analysis:threads=6elapsed=11.125cpu=29.560gc=0.948factor=2.667zXZִF! s]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W:Q%i}.˦QYoDZW*LTzӋooe4+dX ا+#Źhy=/+!(R x ɹxy gkPZ"PU2OQLJKEcvdH{ <= I;*B_ɬ? 5c]#/~cQHMr<߇,sn2;phէޤP  = HOL-Nonstandard_Analysisqg}@'=QG 2-gӁvLGP>1h{8E-'u{6M:Lud+uSIʒ$lbu*jy5"T8.hgQ\Qó{@h 7"/gq6߮bzw;Z/ֈT̢`)/9:4XfU:EV)78ԧTnv]\Q oϊ#cݎ1k&/;lpffAQ@Z`#+! PxN%9EdEc:Ӊ_!6$` 5e)Tϑ[\B~~!9a#`PfMx5T)SM2.j®I~j _r,lbfE&3nIH6QQIx3.<ӗA(nZev2+! uW0볝Y4/聛)MtI:aJMjѬQ78KgE^e W]V X3/*將~)NV5]$FI3tA@ *Wҩ9j$JP>k63{DfxMu*j@c-W{P"}ɩ8KK,JZ]tʖ2/pۖ JXdЈt/:HELE0!땇@$> }c L§R~YYJQ}ʷvWjdՃso"&gn$cRUxؼ ~:hLXy; ^aHe 6/zK\#4 g,yFrWܩR|eX}.&xyvnQdsKU  [8Zc#pĒW}ڼXoZIuT2q_WLuxԔΕqWkFL6RGġ}/]fM,Z̅7OQqh5 6;xyApz-D/HG ×!5H{^J D$97jgQA>j\zNǀf$}],q#rُhRB"BdDe5[8JġT:;CSh.ހiINwMγ76h?sCXoՙ!/$!g^mZSmY;>ꃝak7h=ﻅr#&Yx9n,)OHRy%[ْ>MHXE ףA/ݮО"dUw}UOg}~ MG:ƀ/; vpHsM`h4_p5dq#{PXCuơH .k,{%,_oEid0V4ѐ$ZY-i}1ayڮ65cAo6@%iPltK$~Rd;*H٭ YL^ b9F@FqMzX!vaRF[)pfs8 îm5X%Md mTȹ+&!ޱ[}S0sk0i\5{-5ގLA'3>w i/U;Ӱ"ݥşlw0K  gW[ ̾(b(zv4e.VdI?P?cSQxGo(Ah4G,"C>Wuk;]Dp6|r N)E<|:I΍Ĕ)9}Agj/`bǞ%4PG8Nq9 ̣S-D,CD ,9\n2` #f{Q>oh|Ȅms1l