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 nn  ]/ PLM:threads=2elapsed=34.184cpu=55.172gc=1.844factor=1.617zXZִF! (<]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"B6bD$+Xo*7/FǼ*sQ0zD (cm;ABfJs$BO3kcd[q;훭hbxv*M7FnGy#;MzQ#?IeQ"ep3{fZINkcb"XY*X51*:Ɇ\~Mީ[އyd]yJ X{7.Ԃ8+Hs=tե\zZQb ;:%P*wȅe|:*LQP4 vfRyt7*o! 9xf2Ygz'yY x8^99wo>-(+J-*-N+]kL|{dw wH&Jɛq*3eE&͍BOZOT,&nJ PzM.hح`F*,*R'ssB6PH{,?ƞ;k.7O0z JMĭAg bykaj@d``J>ebd\<~Pi}RMimR8+q;%SEdԜ=sdI8:2&kG ,w XxRhuL[qr5F<@^Uo')] h@RB`٣Лč"K7>k^H.7Z2`9NƙڄZ=1(p -)5+GF ppEIċ  84X"T_P ǵs )ړ`oޢrp#۲64mSƫD0~obhI8T:,0Mp-h\lM_ ;aCW6_t1A-[ro$y~iZ[1;RH qbmԨ1LbMP(cV0""dݾ V? ,R\xJ4`=^t2iM6|:/+ O?(BLt?f+!rlCDOEbFX))A""*g&sw5Yj P gYZ7zXZִF! A ]ŗXi%60n8iZXa1_L*ҎራN@C5 xOn9rr' ^ȴ88RD?4Pm}Z|X ֭UzņeUY-/6:h VRo^Fc;#CXau)}AҚeRXy: b9HP.;G;sluiwޘ6^=I ǜ9ycӽW9U8jZWsX[jx!VTۏ.^WQOr )s= DXFNiýVoμ"I.`R# i,Hz>wT?[0¶L hbΒzZh)) y>R]^ww8*qēTbRRu`tpώ7 _-_ @D"kinVYJRhή&`dmAFkk4@Sp Qj=$l]hص:'yE}mBًᄛER}^` qE#RJퟚ @{'F vp*cRg(M״ýv;}WgK#n)*s A#7(Sc"F#1(=[H0+g!,ϑ獲ɡJߤBQʓ(,A# u"1dU{@Wrz"4ưȊinU(OdKGbጅR1VHe֢dehٺ Ӎ kƣ2TiO,1RG ͔4ȉf!FfGk@Jng0vBi4?>gѧ0N TH3Z&;״M`vnuKփke:+ !:;3&ע [@af)R/A!3Dz{+a6(!׹7mqͤꮾb?I9 Lp@ͺFG}AVZck=KWΟIouD&QSE`-]su߿sU(%7KSag6:3ɯI?oQXdjm 3&93e /̥ZPAB|RU=S~aeC kŕG"GƯ<&.{(d즎YD 7OD"^"LTۥ:.dn?De,Bbp˸>4/,Ȫ yXvN;[[x2vG"o9ڕ|&H~+HSgrw> ^=I+2siI1Ӈz ,tℷ:z;ăIoءGyn5|@"-0/<Gqg3N-A eba#֜aF4MX;"x Nj^p\tK!%zQrAY -_@ up@FdkPIv@ĩJH*qTlӿL8Ch. ]J-#( '5HOӪY^(I0~vhdE@M 'F&UضxXr,w$q VW,s=Ya+!== I$_ "-l,ϩYR&j䁻@W cʩ6uSce'n-U\7d`U!"ɠQ\$L[Bk[_rZ;}K0K3TI.Pa7pdf][=ރ`^B \dXpnM|[%w% K`>J!jj!T.O(+U Bj+54Ԉ\24_O?䠇F[ FM3Y('Ӆpuv)p #VP+ @ZCR5K!LL|~\r\ތ;2> M[:}tCpxKn!Ц1l^N-f`,¬"/gYZc270835f94d2cd35268e0b938462e717517dc621e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87  PLM