SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 !1t$ ]/ SIFUM_Type_Systems:threads=2elapsed=63.873cpu=108.028gc=3.772factor=1.697zXZִF! G]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm( +lz/Ƀ+͡Fprgg}CRO'uթi7;Pω,OR0-NKNdPәź֏d'#xΒ w"/YNp!Dn`([FA@JjyNϟP~otwBizB;dXկU[:fL7wgˉIJ*j,-'az;# [R lkXP$4""'4+*JcRYϧLj%qyEKno໊’!¨M"y&lT"hX{aPۣ{P~,zpOf^߮uJg9$ Iz5vڛ(Sym;YV΄oC8`CaLЍC=bYs:}_C]VyMio'^h@RG4I-WNR.IAX;'o[Xǔ%݊|w*$&.V7cL((Ir}0Gf|ȸ$w](^ZLFJ;Jß ȭNq«J 8z;u[eI'(HxIi!췮(|v.E}lY{qϮ$X{~ : >X=D/ .)HP`tAֽjQbHU> ~el\? RDGD ͈LԋZ6f;RwPQ.ҙjhݮ4_ jag v 1_N^ C- P l3XHܖ^٥S7砞ͧx`n(@wWꈕ068]FY:a|eoqvb T~4L{jn 闧n'۫VxUfLf s 0v AO@K?;Ɂba(u2vכm3kR>]-@S;g܁Vv2W=u|D@ -܍2SatzX8Bɢ  N>(c_ 669?@0sЀ'lּ2s$1WE0A~Y'og9L~3/ϱkaPDWk${b\OM83jʜ7";}٫ Lpo8P>pbi<,7TjFk h>dFT7r9z`[<}Z#b0][ PHNF?,eU2HyL~Qn *̵|ˣnwi$s>l4@}َg#tP ݅Ȇ-euV-shuBrcl?uZ~%|c'71{Ҵ'beEhX|"bNX=CfCF"qHF;3c?N< Hp&)%rI-w&2gisY2!'}⃪m7~l'HgCk1@b&Jښ)VQ;>}^!e[Yn.L XuF 9B*JUBdG_\l l'Z'ȊN2tTՊ`-jbJ&oD$1$ɪئBE+缽44mO:k[>>HꧽÎnǴPW#?dvV"R~P€G\SieQa%'n)q NDVu^fݏ ,1|.A1fy_զY‡g%8Wx\~u sL 7J_sх5 8_vBŏ2mͦ %L/ntxߑ7 LE AHKfH,Eצ1ts؁0Bڵ7uB_/k%сڍk"`m_nI+NAAp n&Q'ŠKٌvhA_VւOWC3窣2ν}A,E W{CIhڱ% CٺvwѡIva2V̘yo ae|p11+_tFz?fqHp"KC0ϊDZ'H=`HWZ߬1G\NP-#3]gn7-<.] ^F&V\ي0:b7{dduF/r}`>3,;߾'S2 Hu^mCNƠl i6]YǀK}䭨̲ek9.?]---\zv)j_icBj IHBŨ~y4vT ">~)}wi52;]ˮ_4@Og,|{dhO:cZfyN{XS]"_1~^a#; FU/[ i9&p$2ݫ%O3ۓh42K` "̋ԧWLKVQR,r" ]_kNbm̴<w=7-*$ cZ0w uex~e%s &6 +ҕuqH3Bm)JZ4gw/cb s `'wH1+;_ V9% l'Г!neUE"ڋ.3,N;R w6O *,ǸnG~S$t"M s"V{Q~qQ__}8[mV׳T.*S8C, ^-o\xf$`k,rДMO9X$hU+mnv1ѧ|[$U`Ǒ*qMn)Y/u3vut= =e5=);!aiJK$i ]$|s·'6@bUCvm2}7aw" ]Bn-i/ qN%ToСpf}Rl׈ F-k!'na0m`mP38{>ʘ70]1Q8z-ܛ&Fȭ^nǠbJ" fi1 C9&9wB=ќ,TҖZ GjeT2YzN5'ڋ6, _aã$%Z;p$T"}d%Hβi'>5䌧{¨0ҁ)Iux6o|=2/hk{p .w-y#^nb|(2W ~I;E\90z-Oi"5 Q9gDo\HCW@,%*IkF!^d`BiALNa0٭Ғj&.5>3縥\+wW渙:[~52tR"x13!x~Z,Il(k*g==V`j H|@gYZ71899de76b135169a4c65a65d29b286cffc02414d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e