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 = T4 ]S]Randomised_Social_Choice:threads=2elapsed=20.799cpu=39.220gc=2.240factor=1.897zXZִF! "]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀tM~eM>/dG0bzc 4 ѣwp-䎊"4vHM>eLreWJ4I0M9MmI@lZ x@gOI\ɍȵpy'i΃Y<dOShwNc&~}II f;|\"OTB6ƇdcBS kb耡];C)Izn0-A7W{(DΙvH0{̗dP1A~;E*fn޿`Nf-;Y# {{ط 'M;h;Wc o4{B&< AřqJֳxOChPXHa&f˹yKj@gaǥgt4 MYF4dN[{ يnxU5~&\_tYYYY3mH(^@QF>yiq4.aW✛ {£}#8ǶC0Q0g~_{sCMMJ@|{+.v,hZ~X1$~2BbܾzQU\ϵ#h@F/ (]#k/TKM/Ӊ=;,d ̐U!ﰾY%*\7j4RvNPëD[1$DœxS*1t:-Ai>Љ+ِ}C;|_478]3kgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƝN D;Vd&%.͟_49jngN/{H'! pJaKEbd /PL'QeM'! AZ3!sw^,__cH4TS_?喗 p%k圭o2h 7tap`|3"tV=iV r^&PH)q+(&\YFhk<()mAQZN vowfA-Hoh;Un0dĶCWf7,xa P}cѫ 0vϚj-gH^rbtHϋx d ۱gYZ7zXZִF! s[F]ŗXi%9*]۾S(OCq$DJ^:2ძS` t@`s_^J6]^+~QYs|)0/_Z06"q4+Id1Sđ0洲8^$lrG+bِ%8I $SO0Ξ>U)) @AᜬB{RloSUn1dPC˟z(+!'`[${ ;M1orX0l+(RܼT Jjdߗo.]U.UY_??6#0_ {VTg)|5F%^2t=kcJb+ݹ֞EDXoE:è%mօKNDwŒVJs<yU7@igrWXw< ~1 @ q=w-ꥅt 1: 9'4e!0P+g*3-|?mqS~xFAԥt4,U`;fRT n J2Z`'}6m>rsw:Z ĻχxYT]ilyK@Q 'dUB wj{uI;5p:b/|fBŧHŽJev`lH&•ѴORLD΅)섇zK>PSf  lӓV:U)̛\q~/㿷tݽ3v7dŔ2Y$ D`d:xRAb /u>μ-8,7ѕ/pl2oLAFv3=CwX1ԡl7^Q^_3=NO(i㼄A#oVWEL.=/watKV1OiXA]1l@aȧW][*:mLu=2iO@[ NvLȷL$%4|t@AYc+\|([-ISs5E],x ;&&2 > v嘗]c¦-+Z: yxkjʔoEKKLpM[3O#Tc*{$Xd 601F> %v;oa*1;^/5IY++!&FGGS{vrv&F`5iJT! Ȑ?}!LRԜ Sl,.1$!;