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 L DD< ] SuperCalc:threads=2elapsed=39.892cpu=77.080gc=3.664factor=1.937zXZִF! %]ŗXf1-/6vR[] ֧"zժڋZ( l-;T" `\!jcLYxL>k+"`Q'7k3L<6VD0i-i.;Eۧ{nb!NWa'CT"1JG.ƚ6ϕaY7@(C,3\/Mic׏RՓX =uPNzlO~]FYy"ÇȁW.Ah$0@oR'EUg-}y?! [;t̶RGUZq^qUpF=zp~ˡ뢻Fc'   SuperCalcB@^J8: SUwrnȤQFom3#"BY9c)ǜ>*u^\(ot1?G煐 %:R `"|3G%.+c<%.@ш9ιRYdWO1+ba33#t(c6֌PP1fkjӯ ז N5rBy\9M{7`{nljI̳:ȏ̧CY*%ì>vpĻMkd(Ig:+ R֮YJ%&3qQ oUIVut, ߺfD@6rPK'O+.{3Fўfnܶ F{I@RߔO9M< ?0w3!=x2c7,Y Sn!*;R<-KD$Η2\`DC)}fF9t=yة'{;޹Dc!f%Ԧ0qO)*Ƚ倘wEȥJi*r4k)HYq0A@ _PKtzgYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉ5{ļ){:֛ ?]bJ~K_E][Ebs4MtNyݨTt-WDe4IYí0" UL,sE1(QgmuOI0}QcR(^Hh̿W#Q 6/bhGOv;8: $QB z/C?h;rio6ԋ;B/DM6RN۱  }kb|GJs;r ]uDpeNoҦ s / b:}JK~YTtþ]WGhRgPB'2$, a399x@"Cz ET^g6! 0j3/'1xТb]u;3G ؗ˺ǹJ*7ds/vơ: Jkϲ)L GN0'scJ{nƁ&2$JONr~dARuA0f4kdKn=`LU' ~N[~yql(< ~ `Lxi-BN?xDihxB"8M8}vf߳8:#?13 ʌV+aiR hzM,ruTޭ{ZςjX]zc`Yq1s~;<<, |"qQkNx+0TY;Gmk&C8 7=0 nm1  JΧ|>qèI>2-PЧw2 18;$m.ÈK5 s!6CS \z l8'HX [VkЁU dml"AÊ jZU**zLj̿ F kL.t7qpdODcoCX[;Y;S B. $$aW8h*;z%obNXS.wK~=FbIMKh79UA4! r "j4Y\nf̹%#Sg$5"*"a(KvSNH;Zϋ B~]}::-*SA|ΰw822v0xib_aA:.&EvF\>a 6r]:"k At C-%ψq ? hE@::!c}Zw+ MɔԪ!-pzɺ+[Ӭ֭tX= "Yy:5D;w\gLj+py%&K`f, ϼؚzT i۸`%!#5ITGC.OEQ]1qЪaH)?Al;Q?=bBY>#d-.bhgbc%*U֩$; x% L%'gF^b)-Mz} >7ȺЦP΂Km}5cƲGvbkq*ƫ&eF?6;R Ԛob f׋ Sl1hMiu3(LF=%6JXϼJv^w2wɍPu ;V C\[5?4no >X^iK;',0Rw>~SIڴ.xWPT8e/Z/b7KT4NIs뜯L''>LuwAnX|DX t  РR-p-i(?*J;<=MQcv &X#+\M7ʠ{My^wRoNZ{PYg'mثR3mƪ Xg4x5{r,,ol9 ċTj#@*cjf2&0*;\xCº,HxA щy@Ɵ-I(Nb(6:ѠaQ4>@΂h"89]@Ӂ1qTzgYZ813f46fe1b2dda1075d7bdeb5caf91643a53aa7779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04