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 ` ,$ }/]UPF:threads=2elapsed=32.084cpu=61.500gc=2.344factor=1.927zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9MfN[/.>|R3!yˬ% Z!5Hr8N/_& !!WKղ%bk mQHKN޴@ TztRIGnύ~aA6FH4w&6R ܘM/)'z *fc b޽{TXvָ::q\ȧ=Xk,ƫ# z4.nv#‡<R! t&ae<n6F ҡW*S0>La݈/@JCҕˍ1JYKÍa7 7q\݅.`\]tڕ7nLCKso yq-JWu U$}7d H^Rw~&q# i9,v[Gvb#޿B+-NJPű"0?}N*p)>ʼnD_59Ӕ1`z =B7FI4>+۫a}[Um 1p͒?*mͭg-Jڣ;?5Bj#gYZ7zXZִF! ࢐]ŗXi%  \GGנR{xOTgc!MҌbxa*R H$[A2HщD!fk8X8 F.]!0f /M:b $BݻPJ6Tnl:gio:m'&i(ja `?^mueWeqh` #aj?O%̎Ш{b {2*Op ڥ/zzhsC͉(̜L=ړ;aX|&l51I׻_?`'\O潎21j(qo3צNXJ%zjXZLI mpHƆr d GpM.8.}g!&~*0<䇰.t}HHsu;}C C{;,/`|q`ӢVpH*yJNNܤy4)B]e<0*E 5::=$TNE8o'Zυ,hN?abžc+ڊ[O? yFXFyF$85 C{b!VT#96g1/&*,*ۊ)ջbl[y4p$ƙ' Ώa.(ξ0]#gLO9S:e3kSﱐ -ʢnh-h>< n$d ̆%,%aXZ.(ɬt0XQWVVI~ě'FL)1 9prmU }"- LclV':Sc(3?<02790} 3aC&4P{Jp3ʏl?@h܄@MQ{pɚ#Kcwݲ:w?S=FQöi5s6͇5jn UwXB. &ߩ"X8 @^)%$M |5{'O9z}2 wEbCE^2:.P(՟Va *~k hkoN>Cw^t٤9D|iKGlE@0z?.$b+t+#@'wĪY1 0iDBn-ep TAxŵG-޹-ЭAy#c{B]Z+xT1 "ʱ7?R%\?9!ߗQi˸n]քV+_W,v8FXlEf%fń>U_'ےA lQў_1!˃AỊһVB _뾜X)Me~ ߚ(*[