SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info LL%M D w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.231cpu=14.544gc=0.620factor=1.587zXZִF! $ĭ   #M Noninterference_Ipurge_UnwindingAE_ "(|ה[v =:-W!ξD0Uuh2,͏ȸy"_43 _ ͉l3$#bښYiuNX< 2ĮhɣS(m%vZ3 B&f4]K=ނC}ygEu#bfW?)%&`4'Q)q@~XX ˋj@1󹿾ب*y7 ҂t~GP{_9Xc\=W9H((9`E[멸YT$zfoY^\.¬iTﯦ`0x>AWANveA %(hBM=6o(G5DžB;L+((~ӿ`p)NHeȯLģSMֽϔ% tL=@`6QٝNF;xsa8~m$5J6`$sT뀊z\Ѹs#h,yA$вv恛wݪ[xggYZ7zXZִF! 82]ŗXi%KC6aGNp (3rVwL n:Ŗ`LsT#ZaMS-9|~ѵ:֧p,T:xk 7r<57I0$'d:nú(M52RKA, а:5? E|p+[A$K a^y>!ܥo/Olh(7\w"(G P'WCajӢ;ODJk>i$Wy@n] 5S̲^6A ϒ4ڵ.a.-%}Y!';ʧYnX;* o1m.0أ'(kyaJśM;-851A8jhA#*ڌy.4|!$d;kp/E](GT@e_\мh_3j*T:;2@"$W(l<3b,idNsE5BR%h΃нkXCmu/׳+woWR{J楎_8wLFFe٬\ok=!d7IܛV[kDW2?Q;Ғ0^qjp~aCfEӱ\q(P# s}q%[Л =$y Vz!yplPJ )ȒaD߽X,cPI=Ǵ?mw\zK}zI۴I2@"AUһS/n΀ x)(42kC ~Em~m?Wp.;]8!U<6mtlfX-~>'s$Z 4p: